Wrightson g editor (2 resultados)

Autor:

Refinar con la Búsqueda avanzada

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation / Artificial Intelligence)
Siekmann, J. (Editor) / Wrightson, G. (Editor)
Idioma: Inglés
Editorial: Springer-Verlag, 2012
3642819540 / 9783642819544
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Nuevo
EUR 158,48
Envío por EUR 17,51
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Paperback. Condición: Brand New. reprint edition. 537 pages. 9.61x6.61x1.50 inches. In Stock.
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Symbolic Computation / Artificial Intelligence)
Siekmann, J. (Editor) / Wrightson, G. (Editor)
Idioma: Inglés
Editorial: Springer-Verlag, 2012
3642819575 / 9783642819575
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Nuevo
EUR 160,46
Envío por EUR 17,51
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Paperback. Condición: Brand New. reprint edition. 649 pages. 9.60x6.70x1.50 inches. In Stock.