Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series - Art Quaife - Livros - Kluwer Academic Publishers - 9780792320210 - 30 de novembro de 1992
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Art Quaife

Preço
DKK 1.781,65

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 30 de mai - 10 de jun

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

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

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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 30 de novembro de 1992
ISBN13 9780792320210
Editoras Kluwer Academic Publishers
Páginas 291
Dimensões 156 × 234 × 17 mm   ·   616 g
Idioma English  

Ver tudo de Art Quaife ( por exemplo Hardcover Book )