Automated Theorem Proving: Theory and Practice - Monty Newborn - Libros - Springer-Verlag New York Inc. - 9780387950754 - 15 de diciembre de 2000
En caso de que portada y título no coincidan, el título será el correcto

Monty Newborn
Automated Theorem Proving: Theory and Practice 2001 edition

Precio
$ 184,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 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:

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving.

231 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 15 de diciembre de 2000
ISBN13 9780387950754
Editores Springer-Verlag New York Inc.
Páginas 231
Dimensiones 155 × 235 × 15 mm   ·   526 g
Lengua Inglés  

Mas por Monty Newborn

Mostrar todo

Mere med samme udgiver

Ver todo de Monty Newborn ( Ej. Paperback Book y Hardcover Book )