학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 32건 | 목록 1~10
Academic Journal
Journal of the ACM; Jan2018, Vol. 65 Issue 2, p1-28, 28p
Conference
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation. :147-154
Conference
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs. :27-37
Academic Journal
Journal of Automated Reasoning; Jun2020, Vol. 64 Issue 5, p879-910, 32p
Conference
Proceedings of the 2015 Conference on Certified Programs and Proofs. :75-83
Academic Journal
Journal of Automated Reasoning; Apr2017, Vol. 58 Issue 4, p483-508, 26p
Book
Programming Languages & Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings; 2015, p80-104, 25p
검색 결과 제한하기
제한된 항목
[AR] Eberl, Manuel
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어