Theory and Applications of Satisfiability Testing – SAT 2007 [electronic resource] : 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings / edited by João Marques-Silva, Karem A. Sakallah.
By: Marques-Silva, João.
Contributor(s): Sakallah, Karem A | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 4501.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Description: digital.ISBN: 9783540727880.Subject(s): Computer science | Operating systems (Computers) | Computer software | Electronic data processing | Artificial intelligence | Logic, Symbolic and mathematical | Computer Science | Mathematical Logic and Formal Languages | Algorithm Analysis and Problem Complexity | Operating Systems | Numeric Computing | Artificial Intelligence (incl. Robotics) | Mathematical Logic and FoundationsDDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.