Imagen de Portada

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings /

Guardado en:
Autor Principal: Biere, Armin.
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gomes, Carla P.
Formato: Electrónico
Idioma:English
Publicado: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Series:Lecture Notes in Computer Science, 4121
Materias:
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 Foundations.
Acceso en línea:SpringerLink, via BECYT
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Recurso en línea
SpringerLink, via BECYT
BIB. MATEMATICA
Ubicación de la biblioteca
Volumen/Tomo: No especificado
Ejemplares: 1
Signatura:

Ejemplares similares