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 - 9789048150502 - 9 de diciembre de 2010
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 Softcover reprint of hardcover 1st ed. 1998 edition

Precio
$ 236,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 de jun. - 3 de jul.

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, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de diciembre de 2010
ISBN13 9789048150502
Editores Springer
Páginas 481
Dimensiones 160 × 240 × 25 mm   ·   698 g
Editor Bibel, Wolfgang
Editor Schmitt, P.H.

Mas por W Bibel

Mostrar todo

Mere med samme udgiver

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