• Libros
  • Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
VV.AA.
Inglés
EAN
9789048150502
Editorial
SPRINGER
Año de edición
2010
Idioma
Inglés
Colección
Applied Logic Series
Alto
240
Ancho
160
Sin Stock
Envío gratis
Entrega: a partir de 10 días laborales
207,99 €
-5%
197,59 €
Otros lectores lo han calificado con
Déjanos tu opinión
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres