학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 27건 | 목록 1~10
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)
Conference
In: Proceedings - Symposium on Logic in Computer Science, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. (Proceedings - Symposium on Logic in Computer Science, 29 June 2021, 2021-June)
Academic Journal
In: ACM SIGPLAN Notices, Proceedings of the ICFP '07 conference. (ACM SIGPLAN Notices, September 2007, 42(9):13-24)
검색 결과 제한하기
제한된 항목
[AR] Sozeau, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어