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: 3626 MXN
Availability: OutOfStock
Author: W Bibel

Precio

Mex$ 3.626

sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.

Recibe notificaciones sobre nuevos lanzamientos de W Bibel

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

Aún no valorado

También disponible como:

Paperback Book

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

Softcover reprint of hardcover 1st ed. 1998 edition

(2010) Mex$ 4.149

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.