The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis - David A. Plaisted - Livros - Springer Fachmedien Wiesbaden - 9783528155742 - 28 de outubro de 1999
Caso a capa e o título não sejam correspondentes, considere o título como correto

David A. Plaisted
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis 2nd ed. 1999 edition

Preço
R$ 288,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 5 - 9 de out
Receba avisos sobre novos lançamentos de David A. Plaisted

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

Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving methods, this book gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies.

172 pages, 3 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 28 de outubro de 1999
ISBN13 9783528155742
Editoras Springer Fachmedien Wiesbaden
Páginas 172
Dimensões 148 × 210 × 10 mm   ·   244 g
Idioma Inglês   Alemão  
Contribuidor Rudolf Kruse
Contribuidor Wolfgang Bibel

Mais da mesma editora

Ver tudo de David A. Plaisted