학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 171건 | 목록 10~20
Report
Logical Methods in Computer Science, Volume 18, Issue 3 (September 7, 2022) lmcs:7715
Report
Fundamenta Informaticae, Volume 188, Issue 3 (April 18, 2023) fi:8485
Report
Logical Methods in Computer Science, Volume 17, Issue 4 (November 24, 2021) lmcs:7034
Conference
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on. :1-4 Jun, 2017
Conference
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on. :1-11 Jun, 2017
Conference
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2016 31st Annual ACM/IEEE Symposium on. :1-10 Jul, 2016
검색 결과 제한하기
제한된 항목
[AR] Colcombet, Thomas
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어