語系
Cimatti, Alessandro.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Theory and applications of satisfiability testing - SAT 2012 = 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings /
by:
Sebastiani, Roberto.; SpringerLink (Online service); Cimatti, Alessandro.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Computer algorithms
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information and Communication, Circuits.
Computation by Abstract Devices.
Computer software- Verification