Alan Bundy
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
15
Rippling
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Automated Deduction - Cade-12
Artificial Intelligence Techniques
Directory of Australian academic and research libraries
The computer modelling of mathematical reasoning
Catalogue of artificial intelligence techniques
Australian and New Zealand information literacy framework
Artificial Intelligence Techniques
Rob Milne
Artificial intelligence
Eco-logic
Catalogue of artificial intelligence tools
The metatheory of the elementary equation calculus
