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