Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series - W Bibel - Libros - Springer - 9789048150526 - 9 de diciembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 1998 edition

Precio
€ 141,99

Pedido desde almacén remoto

Entrega prevista 8 - 16 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de iMusic

También disponible como:

347 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de diciembre de 2010
ISBN13 9789048150526
Editores Springer
Páginas 347
Dimensiones 156 × 234 × 18 mm   ·   485 g
Editor Bibel, Wolfgang
Editor Schmitt, P. H.

Mas por W Bibel

Mostrar todo