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 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 23 de jun. - 6 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) $ 209,99

Paperback Book

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

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.

448 pages, biography

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