학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 544건 | 목록 30~40
Conference
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2009 11th International Symposium on. :16-16 Sep, 2009
Conference
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2009 11th International Symposium on. :10-10 Sep, 2009
Conference
Proceedings of the 2013 ACM symposium on Document engineering. :177-180
Conference
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :259-272
Conference
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation. :163-179
Conference
Automated reasoning. Part I (20240101), 154-171.
Conference
Automated reasoning. Part I (20240101), 115-132.
Conference
Automated reasoning. Part I (20240101), 21-29.
Book
Automated Reasoning (9783319402284); 2016, p313-329, 17p
Conference
Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. :157-165
검색 결과 제한하기
제한된 항목
[AR] Voronkov, Andrei
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어