語系
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.
Information and Communication, Circuits.
Mathematical Logic and Formal Languages.
Computer software- Verification
Computation by Abstract Devices.