학술논문
'학술논문'
에서 검색결과 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: Information and Computation . (Information and Computation, 2022)
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)
주제어
언어