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

Automated Theorem Proving: Theory and Practice Softcover reprint of the original 1st ed. 2001 edition

Monty Newborn

Preço
€ 146,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 30 de jan - 10 de fev

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

Também disponível como:

Automated Theorem Proving: Theory and Practice Softcover reprint of the original 1st ed. 2001 edition

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.

245 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 24 de maio de 2013
ISBN13 9781461265191
Editoras Springer-Verlag New York Inc.
Páginas 231
Dimensões 155 × 235 × 13 mm   ·   353 g
Idioma English  
Mostrar tudo

Mais por Monty Newborn

Ver tudo de Monty Newborn ( por exemplo Paperback Book e Hardcover Book )