A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
TALLINNA TEHNIKAÜLIKOOLI PUBLIKATSIOONID 2016
unpublished
Preserved Fulltext
A coalgebraic view of bar recursion and bar induction // Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences ...
Held as Part of STAF 2016 co-located with Software Technologies : Applications and Foundations (STAF 2016) : Vienna, Austria, July 4-7, 2016. ...
fatcat:o6jk6jfy5vghxdlshtty2qccve
Annual Report 2017
国立情報学研究所 平成29年度(2017年度)年報
国立情報学研究所 平成29年度(2017年度)年報
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
] 4) The 26th International Joint Conference on Artificial Intelligence (IJCAI-17) [Member of Senior Program Committee] 5) The 14th European Conference on Symbolic and Quantitative Approaches to Reasoning ...
Conference, DAPI 2017, Held as Part of HCI International 2017, pp.219-234 (2017.07) 6) Takaya Kawakatsu, Akira Kakitani, Kenro Aihara, Atsuhiro Takasu, Jun Adachi： "Traffic Surveillance System for Bridge ...
doi:10.20736/0000001218
fatcat:fybrqh7tifb3liogikv27kztca