Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science - David M. Sandford - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540102311 - 1 de agosto de 1980
En caso de que portada y título no coincidan, el título será el correcto

David M. Sandford
Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science 1980 edition

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 13 - 21 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

242 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de agosto de 1980
ISBN13 9783540102311
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 242
Dimensiones 155 × 233 × 13 mm   ·   367 g
Lengua Inglés  

Ver todo de David M. Sandford ( Ej. Paperback Book )