• 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
9780792351290
Editorial
SPRINGER
Ano de edición
1998
Idioma
Inglés
Colección
Applied Logic Series
Alto
234
Ancho
156
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éixanos a túa opinión
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres