• 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.
Anglès
EAN
9780792351306
Editorial
SPRINGER
Any d'edició
1998
Idioma
Anglès
Col·lecció
Applied Logic Series
Alt
234
Ample
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
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres