학술논문
'학술논문'
에서 검색결과 87건 | 목록
1~10
Academic Journal
In: Computing . (Computing, 2024)
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, June 2023, 67(2))
Academic Journal
In Theoretical Computer Science 2007 379(1):142-165
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)
주제어
언어