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
zł 590,90

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 28 de abr - 7 de mai

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 )