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 W Bibel Softcover reprint of hardcover 1st ed. 1998 edition

Name: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series
Price: 209.99 USD
Availability: OutOfStock
Author: W Bibel

Precio

$ 209,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 3 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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:

Paperback Book

1st Ed. Softcover of Orig. Ed. 1998 edition

Softcover reprint of hardcover 1st ed. 1998 edition

(2010) $ 236,49

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

Softcover reprint of hardcover 1st ed. 1998 edition

BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.

450 pages, biography

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