학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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
Conference
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control. :284-285
Conference
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. :181-192
Book
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings; 2016, p391-408, 18p
Conference
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)
주제어
언어