학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 111건 | 목록 30~40
Book
Seventeen Provers of the World; 2006, p41-49, 9p
Book
Theorem Proving in Higher Order Logics; 1998, p349-366, 18p
Academic Journal
Journal of Automated Reasoning; Sep2002, Vol. 29 Issue 3/4, p389-411, 23p
Book
Nipkow, Tobias (D-MUTU-D) AMS Author Profile; Paulson, Lawrence C. (4-CAMB-C) AMS Author Profile; Wenzel, Markus (D-MUTU-D) AMS Author Profile
Patent
검색 결과 제한하기
제한된 항목
[AR] Wenzel, Markus
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어