Limit this search to....

Rippling: Meta-Level Guidance for Mathematical Reasoning
Contributor(s): Bundy, Alan (Author), Basin, David (Author), Hutter, Dieter (Author)
ISBN: 052183449X     ISBN-13: 9780521834490
Publisher: Cambridge University Press
OUR PRICE:   $133.00  
Product Type: Hardcover - Other Formats
Published: August 2005
Qty:
Annotation: The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique of rippling, described here for the first time in book form, is designed to be an approach to mathematical reasoning that takes into account ideas of heuristics and searching. Rippling addresses the problem of combinatorial explosion which has proved a huge obstacle in the past, and the book offers a systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.
Additional Information
BISAC Categories:
- Computers | Intelligence (ai) & Semantics
Dewey: 006.333
LCCN: 2004051866
Series: Cambridge Tracts in Theoretical Computer Science (Hardcover)
Physical Information: 0.6" H x 6.1" W x 9.28" (1.17 lbs) 216 pages