학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 274건 | 목록 1~10
Academic Journal
In: Proceedings of the National Academy of Sciences of the United States of America. (Proceedings of the National Academy of Sciences of the United States of America, 10 January 2023, 120(2))
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 14 November 2023, 393:94-112)
검색 결과 제한하기
제한된 항목
[AR] Smith, E.W.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어