Home Advanced Search

Advanced Search - Page 1

The Computer Modelling of Mathematical Reasoning
  • PDF
  • English
  • Year: 1986
  • Author: Alan Bundy
The computer modelling of mathematical reasoning
  • DJVU
  • English
  • Year: 1983
  • Author: Alan Bundy
The computer modelling of mathematical reasoning
  • DJVU
  • English
  • Year: 1983
  • Author: Alan Bundy
Artificial Intelligence Techniques: A Comprehensive Catalogue
  • PDF
  • English
  • Year: 1997
  • Author: Alan Bundy (auth.), Alan Bundy (eds.)
Catalogue of Artificial Intelligence Tools
  • PDF
  • English
  • Year: 1986
  • Author: Alan Bundy (auth.), Alan Bundy (eds.)
Catalogue of Artificial Intelligence Techniques
  • PDF
  • English
  • Year: 1990
  • Author: Alan Bundy (auth.), Alan Bundy (eds.)
Catalogue of Artificial Intelligence Tools
  • PDF
  • English
  • Year: 1984
  • Author: Alan Bundy, Lincoln Wallen (auth.), Alan Bundy, Lincoln Wallen (eds.)
Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: John Slaney (auth.), Alan Bundy (eds.)
Rippling: Meta-Level Guidance for Mathematical Reasoning
  • PDF
  • English
  • Year: 2005
  • Author: Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
Rippling: Meta-Level Guidance for Mathematical Reasoning
  • PDF
  • English
  • Year: 2005
  • Author: Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
search