Rippling

Name: Rippling: Meta-Level Guidance for Mathematical Reasoning
Brand: Cambridge University Press
SKU: 9780521834490
Price: 5117.00 INR
Availability: InStock

Meta-Level Guidance for Mathematical Reasoning

by Alan Bundy, David Basin, Dieter Hutter

Cambridge University Press

₹5,117

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.