Tell your friends about this item:
Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge Tracts in Theoretical Computer Science Bundy, Alan (University of Edinburgh)
Price
$ 151.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jul 6 - 16
Our customers say:
Add to your iMusic wish list
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.
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | June 30, 2005 |
| ISBN13 | 9780521834490 |
| Publishers | Cambridge University Press |
| Pages | 216 |
| Dimensions | 158 × 237 × 19 mm · 530 g |
| Language | English |
![Cover for Fontaine, Lise (Universite du Quebec a Trois-Rivieres) · Analysing English Grammar: A Systemic Functional Introduction (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/905/9781009437905.jpg?fontaine-lise-universite-du-quebec-a-trois-rivieres-2027-analysing-english-grammar-a-systemic-functional-introduction-paperback-book&class=scaled&v=1781538937)
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Hardcover Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/124/9781009694124.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2026-principles-of-behavioral-neuroscience-hardcover-book&class=scaled&v=1781538969)
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/100/9781009694100.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2026-principles-of-behavioral-neuroscience-paperback-book&class=scaled&v=1781538992)
![Cover for Cunningham, Daniel W. (California State University, Fresno) · Set Theory: A First Course - Cambridge Mathematical Textbooks (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/404/9781009583404.jpg?cunningham-daniel-w-california-state-university-fresno-2026-set-theory-a-first-course-cambridge-mathematical-textbooks-paperback-book&class=scaled&v=1781538936)
![Cover for Lee, Yong-Shik (Law and Development Institute) · Reclaiming Development in the World Trading System: Principles of International Trade Law - Cambridge International Trade and Economic Law (Paperback Book) [3 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/219/9781009552219.jpg?lee-yong-shik-law-and-development-institute-2026-reclaiming-development-in-the-world-trading-system-principles-of-international-trade-law-cambridge-international-trade-and-economic-law-paperback-book&class=scaled&v=1782134137)
![Cover for Jackson, Robert J. (University of Redlands, California) · Global Politics in the 21st Century: War in Peacetime (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/882/9781009114882.jpg?jackson-robert-j-university-of-redlands-california-2026-global-politics-in-the-21st-century-war-in-peacetime-paperback-book&class=scaled&v=1778756904)