Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge Tracts in Theoretical Computer Science - Bundy, Alan (University of Edinburgh) - Books - Cambridge University Press - 9780521834490 - June 30, 2005
In case cover and title do not match, the title is correct

Bundy, Alan (University of Edinburgh)
Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge Tracts in Theoretical Computer Science

Price
Íkr 19,139
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 6 - 20
Get notified about new Bundy, Alan (University of Edinburgh) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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   ·   475 g
Language English  

More from the same publisher

See all of Bundy, Alan (University of Edinburgh) ( e.g. Hardcover Book )