Automated Theorem Proving: Theory and Practice - Monty Newborn - Livros - Springer-Verlag New York Inc. - 9780387950754 - 15 de dezembro de 2000
Caso a capa e o título não sejam correspondentes, considere o título como correto

Monty Newborn
Automated Theorem Proving: Theory and Practice 2001 edition

Preço
R$ 988,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 24 de set - 6 de out
Receba avisos sobre novos lançamentos de Monty Newborn

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

Ainda não avaliado

Também disponível 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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 15 de dezembro de 2000
ISBN13 9780387950754
Editoras Springer-Verlag New York Inc.
Páginas 231
Dimensões 155 × 235 × 15 mm   ·   526 g
Idioma Inglês  

Mais por Monty Newborn

Mostrar tudo

Mais da mesma editora

Ver tudo de Monty Newborn