학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 169건 | 목록 1~10
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 8 January 2024, 982)
Academic Journal
In: Applied Categorical Structures. (Applied Categorical Structures, October 2023, 31(5))
Academic Journal
IEEE Annals of the History of Computing IEEE Annals Hist. Comput. Annals of the History of Computing, IEEE. 42(2):6-19 Jun, 2020
Book
In: Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLi 2023, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14401 LNCS:1-19)
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, 13 August 2022, 32(7):829-869)
Academic Journal
In: Information Processing Letters. (Information Processing Letters, August 2022, 177)
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, 29 April 2022, 32(4):511-541)
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 8 February 2022, 903:84-112)
Academic Journal
In: Information and Computation. (Information and Computation, December 2021, 281)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, October 2023, 135)
검색 결과 제한하기
제한된 항목
[AR] Gadducci, F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어