학술논문
'학술논문'
에서 검색결과 111건 | 목록
30~40
Book
Seventeen Provers of the World; 2006, p41-49, 9p
Academic Journal
Sleep; 2013, Vol. 36 Issue 8, p1163-1171, 9p
Book
Goos, Gerhard; Hartmanis, Juris; Leeuwen, Jan; Grundy, Jim; Newey, Malcolm; Naraschewski, Wolfgang; Wenzel, Markus
Theorem Proving in Higher Order Logics; 1998, p349-366, 18p
Academic Journal
Academic Journal
Journal of Automated Reasoning; Sep2002, Vol. 29 Issue 3/4, p389-411, 23p
Academic Journal
Development Growth & Differentiation. Jul 01, 2001 43 Suppl 1:S15-S15
Academic Journal
Makromolekulare Chemie; 1987, Vol. 188 Issue 12, p2865-2873, 9p
Academic Journal
Schönhofer, Bernd; Wenzel, Markus; Barchfeld, Thomas; Siemon, Karsten; Rager, Hubert; Köhler, Dieter
Medizinische Klinik (Urban & Vogel); Mar1997, Vol. 92 Issue 3, p167-174, 8p
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
검색 결과 제한하기
제한된 항목
[AR] Wenzel, Markus
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어