학술논문
'학술논문'
에서 검색결과 148건 | 목록
30~40
Academic Journal
Journal of Automated Reasoning; Mar2020, Vol. 64 Issue 3, p363-389, 27p
Conference
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs. :88-99
Academic Journal
Conference
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control. :284-285
Bartocci, Ezio; Beyer, Dirk; Black, Paul E.; Fedyukovich, Grigory; Garavel, Hubert; Hartmanns, Arnd; Huisman, Marieke; Kordon, Fabrice; Nagele, Julian; Sighireanu, Mihaela; Steffen, Bernhard; Suda, Martin; Sutcliffe, Geoff; Weber, Tjark; Yamada, Akihisa
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science. :3-24
Conference
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. :181-192
Academic Journal
In Livestock Science 2008 113(2):280-284
Book
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings; 2016, p391-408, 18p
Conference
Kambe, Takashi; Yamada, Akihisa; Nishida, Koichi; Okada, Kazuhisa; Ohnishi, Mitsuhisa; Kay, Andrew; Boca, Paul; Zammit, Vince; Nomura, Toshio
Proceedings of the 2001 Asia and South Pacific Design Automation Conference. :151-155
Academic Journal
Journal of Automated Reasoning; Mar2017, Vol. 58 Issue 3, p391-411, 21p
검색 결과 제한하기
제한된 항목
[AR] Yamada, Akihisa
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어