학술논문
'학술논문'
에서 검색결과 41건 | 목록
1~10
Academic Journal
In Information and Computation 2010 208(2):140-164
Conference
2008 23rd Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on. :253-263 Jun, 2008
Report
Logical Methods in Computer Science, Volume 7, Issue 1 (March 17, 2011) lmcs:861
Academic Journal
Burel, Guillaume; Bury, Guillaume; Cauderlier, Raphaël; Delahaye, David; Halmagrand, Pierre; Hermant, Olivier
Journal of Automated Reasoning; Aug2020, Vol. 64 Issue 6, p1001-1050, 50p
Conference
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. :84-87
검색 결과 제한하기
제한된 항목
[AR] Burel, Guillaume
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어