학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 387건 | 목록 1~10
Academic Journal
In Electronic Notes in Theoretical Computer Science 18 July 2005 125(3):13-23
Academic Journal
Sheng, Ying (1-STF-NDM) AMS Author Profile; Nötzli, Andres (1-STF-NDM) AMS Author Profile; Reynolds, Andrew (1-IA-NDM) AMS Author Profile; Zohar, Yoni (IL-BILN-NDM) AMS Author Profile; Dill, David (1-METANV) AMS Author Profile; Grieskamp, Wolfgang (1-METANV) AMS Author Profile; Park, Junkil (1-METANV) AMS Author Profile; Qadeer, Shaz (1-METANV) AMS Author Profile; Barrett, Clark (1-STF-NDM) AMS Author Profile; Tinelli, Cesare (1-IA-NDM) AMS Author Profile
Journal of Automated Reasoning (J. Automat. Reason.) (20230101), 67, no.~3, Paper No 32, 34~pp. ISSN: 0168-7433 (print).eISSN: 1573-0670.
Academic Journal
In Electronic Notes in Theoretical Computer Science December 2002 70(2):29-41
Academic Journal
In Electronic Notes in Theoretical Computer Science December 2001 23(2):23-33
검색 결과 제한하기
제한된 항목
[AR] Dill, David L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어