Languages
Cimatti, Alessandro.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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:)
(Electronic resources)
Subjects
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.