Szeider, Stefan.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Computational models of argumentProceedings of COMMA 2012 /
by:
Szeider, Stefan.; Verheij, Bart.; Wotlran, Stefan.; ebrary, Inc.
(書目-電子資源)
Theory and applications of satisfiability testing - SAT 201013th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(1998 :); SpringerLink (Online service); Strichman, Ofer.; Szeider, Stefan.
(書目-電子資源)
主題
Propositional calculus
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial intelligence
Computer algorithms
Logics and Meanings of Programs.
Mathematics of Computing.
Algebra, Boolean
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Decision making
Computer Science.
Reasoning