EFFICIENCY OF THEOREM PROVING STRATEGIES, THE - A COMPARATIVE AND ASYMPTOTIC ANALYSIS
Favoritar
Ref:
639447
De: R$ 1.411,04Por: R$ 987,73ou X de
Economia de R$ 423,31
Calcule o frete:
Para envios internacionais, simule o frete no carrinho de compras.
Calcule o valor do frete e prazo de entrega para a sua região
Editora
ISBN
Páginas
Idioma
Peso
AcabamentoSinopse
This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies. Thus it permits one to gain a theoretical understanding of the efficiencies of many different theorem-proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.
Ficha Técnica
Especificações
| ISBN | 9783528155742 |
|---|---|
| Pré venda | Não |
| Peso | 190g |
| Autor para link | PLAISTED DAVID A. |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 1 |
| Idioma | Inglês |
| Tipo item | Livro Importado |
| Número de páginas | 170 |
| Número da edição | 2ª EDIÇÃO - 1999 |
| Código Interno | 639447 |
| Código de barras | 9783528155742 |
| Acabamento | PAPERBACK |
| Autor | PLAISTED, DAVID A. |
| Editora | SPRINGER VERLAG * |
| Sob encomenda | Sim |