학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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)
주제어
언어