학술논문
'학술논문'
에서 검색결과 2건 | 목록
1~10
Book
Mechanizing Mathematical Reasoning; 2005, p132-138, 7p
Conference
Chubarov, Dimitri (4-MANC) AMS Author Profile; Voronkov, Andrei (4-MANC) AMS Author Profile
검색 결과 제한하기
제한된 항목
[Author] Chubarov, Dimitri
발행연도 제한
-
학술DB(Database Provider)
출판사(Publisher)
자료유형(Source Type)
언어