학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 36건 | 목록 1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 20 June 2024, 8)
Academic Journal
In: Journal of the ACM. (Journal of the ACM, February 2021, 68(1))
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 1 June 2020, 64(5):947-999)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2020, 4(POPL))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, August 2019, 3(ICFP))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2019, 3(POPL))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, September 2018, 2(ICFP))
Academic Journal
In: Journal of Functional Programming. (Journal of Functional Programming, 7 February 2017, 27)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 16 July 2021, 337:13-29)
검색 결과 제한하기
제한된 항목
[검색어] Sozeau, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어