Bacchus, Fahiem.

Theory and Applications of Satisfiability Testing (vol. # 3569) 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings [Recurso electrónico] / edited by Fahiem Bacchus, Toby Walsh. - Berlin Heidelberg : Springer-Verlag GmbH., 2005 - v.: digital - Lecture Notes in Computer Science, 3569 0302-9743 ; .

Restringido a usuarios de la UCA


Modo de acceso: World Wide Web

9783540316794


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