학술논문
'학술논문'
에서 검색결과 50건 | 목록
20~30
Book
In: Theory and Applications of Satisfiability Testing – SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10929 LNCS:v-vii)
Conference
24th IEEE/ACM International Conference on Automated Software Engineering, 2009. ASE '09; 2009, p668-670, 3p
Book
In: Theory and Applications of Satisfiability Testing – SAT 2016 - 19th International Conference, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9710:249-266)
Conference
In: CEUR Workshop Proceedings , SMT 2016 - Proceedings of the 14th International Workshop on Satisfiability Modulo Theories, affiliated with the International Joint Conference on Automated Reasoning, IJCAR 2016. (CEUR Workshop Proceedings, 2016, 1617)
Conference
In: CEUR Workshop Proceedings , SMT 2016 - Proceedings of the 14th International Workshop on Satisfiability Modulo Theories, affiliated with the International Joint Conference on Automated Reasoning, IJCAR 2016. (CEUR Workshop Proceedings, 2016, 1617)
Conference
In: CEUR Workshop Proceedings , CSTVA 2016 - Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis, co-located with the International Symposium on Software Testing and Analysis, ISSTA 2016. (CEUR Workshop Proceedings, 2016, 1639) 1p.
Conference
In: Proceedings of the National Conference on Artificial Intelligence , Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. (Proceedings of the National Conference on Artificial Intelligence, 1 June 2015, 2:1136-1143)
Book
In: Information Processing in Cells and Tissues - 10th International Conference, IPCAT 2015, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 9303:131-144)
In: arXiv . (arXiv, 23 November 2017)
Book
In: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8562 LNAI:344-359)
검색 결과 제한하기
제한된 항목
[AR] Wintersteiger, C.M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어