Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56Alan Bundy

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland · 2005

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2005
Language: English
Publisher: Cambridge University Press
Editions: 1
Pages: 218
ISBN: 9781280458682

Data source: Wikidata

More by Alan Bundy

Catalogue of artificial intelligence techniquesAlan Bundy

Catalogue of artificial intelligence techniques

Alan Bundy · 1990

Rob MilneAlan Bundy

Alan Bundy · 2006

RipplingAlan Bundy

Alan Bundy · 2005

Artificial Intelligence TechniquesAlan Bundy

Artificial Intelligence Techniques

Alan Bundy · 1997

Artificial Intelligence TechniquesAlan Bundy

Artificial Intelligence Techniques

Alan Bundy · 1996

Automated Deduction - Cade-12Alan Bundy

Automated Deduction - Cade-12

Alan Bundy · 1994

Catalogue of artificial intelligence toolsAlan Bundy

Catalogue of artificial intelligence tools

Alan Bundy · 1984