Location & Availability for: Theory and Applications of Satisfiabilit

 Staff view

You must be logged in to Tag Records

Theory and Applications of Satisfiability Testing – SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /

edited by Alessandro Cimatti, Roberto Sebastiani.

Book Cover
Names: Cimatti, Alessandro. | Sebastiani, Roberto.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: Lecture Notes in Computer Science, 7317
Topics: Computer science. | Computer software. | Logic design. | Artificial intelligence. | Mathematics. | Computer Science. | Logics and Meanings of Programs. | Computation by Abstract Devices. | Algorithm Analysis and Problem Complexity. | Mathematical Logic and Formal Languages. | Artificial Intelligence (incl. Robotics). | Information and Communication, Circuits.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Theory and Applications of Satisfiabilit