학술논문
'학술논문'
에서 검색결과 40건 | 목록
1~10
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2024, 20(1):14:1-14:42)
Conference
In: Proceedings of the AAAI Conference on Artificial Intelligence . (Proceedings of the AAAI Conference on Artificial Intelligence, 25 March 2024, 38(8):7978-7986)
Academic Journal
In: Journal of Artificial Intelligence Research . (Journal of Artificial Intelligence Research, 2022, 73:535-552)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023. (Leibniz International Proceedings in Informatics, LIPIcs, August 2023, 271)
Conference
In: Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 , Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023, 27 June 2023, 37:4087-4094)
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, 15 June 2019, 63(1):127-155)
Academic Journal
In: Journal of Artificial Intelligence Research . (Journal of Artificial Intelligence Research, 1 June 2019, 65:180-208)
Conference
In: Proceedings - Symposium on Logic in Computer Science , 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. (Proceedings - Symposium on Logic in Computer Science, 2023, 2023-June)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022. (Leibniz International Proceedings in Informatics, LIPIcs, August 2022, 236)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022. (Leibniz International Proceedings in Informatics, LIPIcs, August 2022, 236)
검색 결과 제한하기
제한된 항목
[AR] Slivovsky, F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어