HOME | BESTSELLERS | NEW RELEASES | PRICE WATCH | FICTION | BIOGRAPHIES | E-BOOKS |
+ PRICE WATCH
* Amazon pricing is not included in price watch
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science) Book
The automation of mathematical reasoning has been an important topic of reseach almost since computers were invented. The new technique of rippling, described here for the first time in book form, was designed to be an approach to the subject that took into account ideas of heuristics and searching. The method helps address the problem of combinatorial explosion which has proved a huge obstacle in the past, and the book provides a systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.Read More
from£86.83 | RRP: * Excludes Voucher Code Discount Also available Used from £27.08
- 052183449X
- 9780521834490
- Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
- 30 June 2005
- Cambridge University Press
- Hardcover (Book)
- 216
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.
Would you like your name to appear with the review?
We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.
All form fields are required.