Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series - Art Quaife - Libros - Kluwer Academic Publishers - 9780792320210 - 30 de noviembre de 1992
En caso de que portada y título no coincidan, el título será el correcto

Art Quaife
Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series 1993 edition

Precio
€ 206,49

Pedido desde almacén remoto

Entrega prevista 13 - 21 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

Provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover Otter. Here, the author presents a clausal version of von Neumann-Bernays-Godel set theory, and lists over 400 theorems proved semi-automatically in elementary set theory.

291 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de noviembre de 1992
ISBN13 9780792320210
Editores Kluwer Academic Publishers
Páginas 291
Dimensiones 156 × 234 × 17 mm   ·   616 g
Lengua Inglés  

Ver todo de Art Quaife ( Ej. Hardcover Book )