Categorías
Recomendador de libros
Dinos qué te gusta y te recomendamos qué leer
Los libros más deseados
Compra online los libros más deseados por nuestros clientes
Novedades en libros. Diciembre de 2026
Todas las novedades editoriales de diciembre de 2026
Listas de libros recomendados
Novedades, sagas y recomendaciones por temáticas
Nuestras librerías
ELIGE TUS LIBROS ¡EL ENVÍO ES GRATIS!*
* Envíos desde 18€ para España y Portugal peninsulares, Tenerife, Gran Canaria y Mallorca
Automated Theorem Proving
Monty Newborn
Monty Newborn
Detalles del libro
| Edición | Softcover reprint of the original 1st ed. 2001(24/05/2013) | Páginas | 231 |
|---|---|
| Idioma | Inglés |
| ISBN | 9781461265191 |
| ISBN-10 | 1461265193 |
Detalles del libro
| Autor/es | Monty Newborn |
|---|---|
| Edición | Softcover reprint of the original 1st ed. 2001(24/05/2013) | Páginas | 231 |
| Idioma | Inglés |
| ISBN | 9781461265191 |
| ISBN-10 | 1461265193 |
Otros libros de Literatura en Inglés:
Resumen
El autor de Automated Theorem Proving, con isbn 978-1-4612-6519-1, es Monty Newborn, esta publicación tiene doscientas treinta y una páginas.