학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 261건 | 목록 1~10
Academic Journal
In: Journal of Computer and System Sciences. (Journal of Computer and System Sciences, September 2024, 144)
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, 31 July 2024, 25(3))
Academic Journal
In: Journal of Computer and System Sciences. (Journal of Computer and System Sciences, June 2024, 142)
Academic Journal
In: Journal of Artificial Intelligence Research. (Journal of Artificial Intelligence Research, 2024, 80:875-918)
Academic Journal
In: Artificial Intelligence. (Artificial Intelligence, December 2023, 325)
Academic Journal
In: Discrete Applied Mathematics. (Discrete Applied Mathematics, 15 October 2023, 337:173-184)
Academic Journal
In: Constraints. (Constraints, September 2023, 28(3):450-471)
Academic Journal
In: ACM Journal of Experimental Algorithmics. (ACM Journal of Experimental Algorithmics, 25 July 2023, 28(3))
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)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 30th International Conference on Principles and Practice of Constraint Programming, CP 2024. (Leibniz International Proceedings in Informatics, LIPIcs, August 2024, 307)
검색 결과 제한하기
제한된 항목
[AR] Szeider, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어