Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge Tracts in Theoretical Computer Science - Bundy, Alan (University of Edinburgh) - Libros - Cambridge University Press - 9780521834490 - 30 de junio de 2005
En caso de que portada y título no coincidan, el título será el correcto

Bundy, Alan (University of Edinburgh)
Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge Tracts in Theoretical Computer Science

Precio
$ 152,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 13 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

The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.

216 pages, 1 b/w illus. 10 colour illus.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de junio de 2005
ISBN13 9780521834490
Editores Cambridge University Press
Páginas 216
Dimensiones 158 × 237 × 19 mm   ·   530 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Bundy, Alan (University of Edinburgh) ( Ej. Hardcover Book )