Skip to main content
PBS logo
 
 

Search - Rippling: Meta-level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

Rippling: Meta-level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)
Rippling Metalevel Guidance for Mathematical Reasoning - Cambridge Tracts in Theoretical Computer Science
Author: Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
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 ...  more »
ISBN-13: 9780521834490
ISBN-10: 052183449X
Publication Date: 8/8/2005
Pages: 220
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.