학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 543건 | 목록 1~10
Report
Automated Deduction - CADE 29. CADE 2023. Lecture Notes in Computer Science, vol 14132. Springer, Cham
Report
Principles of Systems Design 2022, Lecture Notes in Computer Science, vol 13660. Springer, Cham
Conference
2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :1-10 Oct, 2021
Conference
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2013 15th International Symposium on. :169-176 Sep, 2013
검색 결과 제한하기
제한된 항목
[AR] Voronkov, Andrei
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어