Recomienda este artículo a tus amigos:
Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge Tracts in Theoretical Computer Science Bundy, Alan (University of Edinburgh)
Precio
Mex$ 2.660
sin IVA
Pedido desde almacén remoto
Entrega prevista 18 de ago. - 3 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Bundy, Alan (University of Edinburgh)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge Tracts in Theoretical Computer Science
Bundy, Alan (University of Edinburgh)
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 · 475 g |
| Lengua | Inglés |
