학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 46건 | 목록 1~10
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2023, 19(4):18:1-18:51)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023. (Leibniz International Proceedings in Informatics, LIPIcs, December 2023, 284)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2022, 18(1))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. (Leibniz International Proceedings in Informatics, LIPIcs, July 2023, 261)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2020, 16(4):13:1-13:30)
Conference
In: IJCAI International Joint Conference on Artificial Intelligence, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. (IJCAI International Joint Conference on Artificial Intelligence, 2023, 2023-August:6420-6425)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 December 2022, 250)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 33rd International Conference on Concurrency Theory, CONCUR 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 September 2022, 243)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 33rd International Conference on Concurrency Theory, CONCUR 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 September 2022, 243)
검색 결과 제한하기
제한된 항목
[AR] Randour, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어