학술논문
'학술논문'
에서 검색결과 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
Hozzová, Petra; Amrollahi, Daneshvar; Hajdu, Márton; Kovács, Laura; Voronkov, Andrei; Wagner, Eva Maria
Conference
Conference
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)
주제어
언어