학술논문
'학술논문'
에서 검색결과 8건 | 목록
1~10
Conference
Mitchell, Neil; Kiefer, Moritz; Iborra, Pepe; Lau, Luke; Duggal, Zubin; Siebenhandl, Hannes; Sanchez, Javier Neira; Pickering, Matthew; Zimmerman, Alan
IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages. :1-10
Academic Journal
Journal of Automated Reasoning; Mar2018, Vol. 60 Issue 3, p337-363, 27p
Book
Verified Software. Theories, Tools & Experiments; 2016, p149-165, 17p
Academic Journal
Journal of Automated Reasoning. :1-27
검색 결과 제한하기
제한된 항목
[AR] Kiefer, Moritz
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어