• Libros
  • Theory and Applications of Satisfiability Testing - SAT 2009
Theory and Applications of Satisfiability Testing - SAT 2009
VV.AA.
Anglès
EAN
9783642027765
Editorial
Any d'edició
2009
Idioma
Anglès
Col·lecció
Lecture Notes in Computer Science
Alt
235
Ample
155
Otros lectores lo han calificado con
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres