KOR

e-Article

Publication date
-
(ex : 2010-2015)
'e-Article' searched 114results | List 1~10
Academic Journal
In: Journal of Library Metadata. (Journal of Library Metadata, 2024)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2022, 18(2):16:1-16:64)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2020, 4(POPL))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 14th International Conference on Interactive Theorem Proving, ITP 2023. (Leibniz International Proceedings in Informatics, LIPIcs, July 2023, 268)
Refining the search results
Facets
[AR] Bengtson, J.
Publication year
-
Database provider
Title
Publisher
자료유형(Source Type)
Subject
Language