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