Alan Bundy

5 books • 1 series

Jun 30, 2005
Cover of Rippling: Meta-Level Guidance for Mathematical Reasoning

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

Jan 1, 2005
Cover of Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

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

Jul 17, 1997
Cover of The Computer Modelling of Mathematical Reasoning

The Computer Modelling of Mathematical Reasoning

Dec 16, 1996
Cover of Artificial Intelligence Techniques

Artificial Intelligence Techniques

Jan 1, 1984
Cover of Artificial Intelligence

Artificial Intelligence