The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis - David A. Plaisted - Libros - Springer Fachmedien Wiesbaden - 9783528155742 - 28 de octubre de 1999
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 54,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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 Inglés   Alemán  
Colaborador Rudolf Kruse
Colaborador Wolfgang Bibel

Mere med samme udgiver

Ver todo de David A. Plaisted ( Ej. Paperback Book )