학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 41건 | 목록 1~10
Report
EPTCS 186, 2015, pp. 74-88
Academic Journal
ACM Transactions on Computational Logic (TOCL). 21(3):1-30
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
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)
주제어
언어