Marques-Silva, Joao.

Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings [Recurso electrónico] / edited by Joao Marques-Silva, Karem A. Sakallah. - Berlin Heidelberg : Springer-Verlag GmbH., 2007 - v.: digital - Lecture Notes in Computer Science, 4501 0302-9743 ; .

Restringido a usuarios de la UCA


Modo de acceso: World Wide Web

9783540727880


Artificial intelligence
Computer science
Computer software
Electronic data processing
Logic, Symbolic and mathematical
Operating systems (Computers)
Computer Science
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Numeric Computing
Operating Systems

Powered by Koha