학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 123건 | 목록 20~30
Report
Logical Foundations of Computer Science 7734 (2013) 164-178
Conference
2009 24th Annual IEEE Symposium on Logic In Computer Science Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on. :222-231 Aug, 2009
Academic Journal
Journal of the ACM (JACM) - Distributed Computing, Cryptography, Distributed Computing, Cryptography, Coding Theory, Automata Theory, Complexity Theory, Programming Languages, Algorithms, Invited Paper Foreword and Databases. 65(4):1-44
Academic Journal
Logical Methods in Computer Science (LMCS); 2020, Vol. 16 Issue 3, p1-26, 26p
Academic Journal
Fundamenta Informaticae. 2010, Vol. 103 Issue 1-4, p173-202. 30p.
검색 결과 제한하기
제한된 항목
[AR] Pagani, Michele
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어