학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 87건 | 목록 1~10
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, June 2023, 67(2))
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14560 LNCS:84-99)
Conference
In: OpenAccess Series in Informatics, Joint Post-Proceedings of the 3rd and 4th International Conference on Microservices, Microservices 2020 and 2022. (OpenAccess Series in Informatics, December 2023, 111)
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, January 2021, 22(1))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 37th European Conference on Object-Oriented Programming, ECOOP 2023. (Leibniz International Proceedings in Informatics, LIPIcs, July 2023, 263)
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)
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 8 January 2020, 802:38-66)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 15 October 2019, 63(3):695-722)
검색 결과 제한하기
제한된 항목
[AR] Cruz-Filipe, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어