학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 107건 | 목록 1~10
Academic Journal
In: Artificial Intelligence. (Artificial Intelligence, November 2024, 336)
Academic Journal
In: ACM Transactions on Computation Theory. (ACM Transactions on Computation Theory, 14 March 2024, 16(2))
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, March 2024, 68(1))
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, December 2023, 67(4))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024. (Leibniz International Proceedings in Informatics, LIPIcs, August 2024, 306)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024. (Leibniz International Proceedings in Informatics, LIPIcs, August 2024, 305)
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, 27 January 2023, 24(2))
Academic Journal
In: Journal of Artificial Intelligence Research. (Journal of Artificial Intelligence Research, 2023, 77:1455-1487)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2023, 19(2):2:1-2:45)
Conference
In: Proceedings of the AAAI Conference on Artificial Intelligence. (Proceedings of the AAAI Conference on Artificial Intelligence, 25 March 2024, 38(8):7943-7951)
검색 결과 제한하기
제한된 항목
[AR] Beyersdorff, O.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어