Search - List of Books by Alan Bundy

Total Books: 14
Rippling Meta-level Guidance for Mathematical Reasoning
2005 - Rippling Meta-level Guidance for Mathematical Reasoning [Cambridge Tracts in Theoretical Computer Science] (Hardcover)
ISBN-13: 9780521834490
ISBN-10: 052183449X
Genre: Computers & Technology
  ?

Artificial Intelligence An Introductory Course
1984 - Artificial Intelligence an Introductory Course (Paperback)Paperback
ISBN-13: 9780852244104
ISBN-10: 085224410X
Genre: Computers & Technology
  ?

Elements of Artificial Intelligence
1978 - Elements of Artificial Intelligence (Hardcover)
ISBN-13: 9780852243404
ISBN-10: 0852243405
  ?

The Computer Modelling of Mathematical Reasoning
Catalogue of Artificial Intelligence Techniques
Catalogue of Artificial Intelligence Techniques [Symbolic Computation-Artificial Intelligence] (Hardcover)Paperback
ISBN-13: 9780387529592
ISBN-10: 0387529594
Genre: Computers & Technology
  ?

Automated Deduction- Cade-12 12th International Conference on Automated Deduction Nancy France June 26-July 1 1994  Proceedings