학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 24건 | 목록 20~30
Book
Theoretical Aspects of Computing - Ictac 2010; 2010, p44-44, 1p
Conference
Cousineau, Denis (F-PARIS11-IN) AMS Author Profile; Doligez, Damien (1-MSFT4) AMS Author Profile; Lamport, Leslie (F-INRIA6) AMS Author Profile; Merz, Stephan (1-UCSD-CO) AMS Author Profile; Ricketts, Daniel (F-INRIA6) AMS Author Profile; Vanzetto, Hernán AMS Author Profile
FM 2012: Formal methods (20120101), 147-154.
Conference
Chaudhuri, Kaustuv (F-INRIA10) AMS Author Profile; Doligez, Damien (F-INRIA) AMS Author Profile; Lamport, Leslie (F-INRIA6) AMS Author Profile; Merz, Stephan AMS Author Profile
Theoretical aspects of computing---ICTAC 2010 (20100101), 44.
Conference
Prevosto, Virgile (F-INRIA-MS) AMS Author Profile; Doligez, Damien (F-INRIA-MS) AMS Author Profile; Hardin, Thérèse (F-INRIA-MS) AMS Author Profile
Theorem proving in higher order logics (20020101), 298-313.
검색 결과 제한하기
제한된 항목
[AR] Doligez, Damien
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어