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

Precio

Mex$ 3.616

sin IVA

Pedido desde almacén remoto

Entrega prevista 27 de jul. - 6 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$ 3.616

Paperback Book

Softcover reprint of hardcover 1st ed. 1998 edition

(2010) Mex$ 4.133

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

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.