Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science) Book + 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: £66.00
* Excludes Voucher Code Discount Also available Used from £27.08
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.