• 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 edição
1998
Idioma
Inglês
Coleção
Applied Logic Series
Alto
234
Largura
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-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres