Artículos relacionados a Automation of Reasoning: Classical Papers on Computational...
Sinopsis
Book by None
"Sinopsis" puede pertenecer a otra edición de este libro.
- EditorialSpringer Verlag
- Año de publicación1983
- ISBN 10 0387120440
- ISBN 13 9780387120447
- EncuadernaciónTapa dura
- IdiomaInglés
- EditorSiekmann Jorg H.
EUR 230,94
EUR 29,56 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Automation of Reasoning: Classical Papers on Computational...
Imagen de archivo
Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970
Publicado por
Springer-Verlag 0
ISBN 10: 0387120440
ISBN 13: 9780387120447
Antiguo o usado
Tapa dura
Librería: dsmbooks, Liverpool, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
hardcover. Condición: Good. Good. book. Nº de ref. del artículo: D7S9-1-M-0387120440-3
Gastos de envío:
EUR 29,56
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles