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 - 9780792351290 - 30 de junio de 1998
En caso de que portada y título no coincidan, el título será el correcto

W Bibel
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1998 edition

Precio
€ 187,99

Pedido desde almacén remoto

Entrega prevista 6 - 14 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

También disponible como:

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

481 pages, 1, black & white illustrations

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de junio de 1998
ISBN13 9780792351290
Editores Springer
Páginas 481
Dimensiones 160 × 242 × 33 mm   ·   884 g
Lengua Inglés  
Editor Bibel, Wolfgang
Editor Schmitt, P.H.

Mas por W Bibel

Mostrar todo

Ver todo de W Bibel ( Ej. Paperback Book y Hardcover Book )