語系
Strichman, Ofer.
概要
作品: | 62 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Decision Procedures = An Algorithmic Point of View /
by:
SpringerLink (Online service); Kroening, Daniel.; Strichman, Ofer.
(書目-電子資源)
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)
(書目-電子資源)
主題
Software Engineering.
Computer algorithms
Artificial Intelligence (incl. Robotics)
Propositional calculus
Algorithm Analysis and Problem Complexity.
Computational complexity.
Turing machines.
Decision making
Algebra, Boolean
Theory of Computation.
Mathematics of Computing.
Computer Science.
Programming Techniques.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.