Recomienda este artículo a tus amigos:
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis 2nd ed. 1999 edition
David A. Plaisted
Precio
€ 61,99
Pedido desde almacén remoto
Entrega prevista 1 - 12 de nov.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis 2nd ed. 1999 edition
David A. Plaisted
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 28 de octubre de 1999 |
| ISBN13 | 9783528155742 |
| Editores | Springer Fachmedien Wiesbaden |
| Páginas | 172 |
| Dimensiones | 148 × 210 × 10 mm · 244 g |
| Lengua | English German |
| Colaborador | Rudolf Kruse |
| Colaborador | Wolfgang Bibel |
Ver todo de David A. Plaisted ( Ej. Paperback Book )