{"product_id":"rippling-alan-bundy-9780521834490","title":"Rippling: Meta-Level Guidance for Mathematical Reasoning","description":"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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Alan Bundy,David Basin,Dieter Hutter\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 052183449X\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780521834490\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Cambridge University Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 06\/30\/2005\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 216\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.17lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.28h x 6.10w x 0.60d","brand":"Alan Bundy","offers":[{"title":"Hardcover","offer_id":48435430621439,"sku":"9780521834490","price":140.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_b994d462-2e91-4d7c-9653-1b5702a1943e.jpg?v=1777150328","url":"https:\/\/www.whiterainbookhouse.com\/products\/rippling-alan-bundy-9780521834490","provider":"WR Book House","version":"1.0","type":"link"}