학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 30건 | 목록 1~10
Book
In: Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14773 LNCS:431-446)
Academic Journal
In: Fundamenta Informaticae. (Fundamenta Informaticae, 2021, 181(1):37-69)
Conference
In: CEUR Workshop Proceedings, ICTCS 2023 - Proceedings of the 24th Italian Conference on Theoretical Computer Science. (CEUR Workshop Proceedings, 2023, 3587:283-298)
Conference
In: CEUR Workshop Proceedings, ICTCS 2023 - Proceedings of the 24th Italian Conference on Theoretical Computer Science. (CEUR Workshop Proceedings, 2023, 3587:1-14)
Book
(SpringerBriefs in Applied Sciences and Technology, 2016, 9783319276885:65-75)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 12th International Symposium on Games, Automata, Logics, and Formal Verification, G and ALF 2021. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 17 September 2021, 346:195-210)
검색 결과 제한하기
제한된 항목
[AR] Maugeri, P.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어