Alan Bundy
Books
- Eco-logic
- Rob Milne
- The metatheory of the elementary equation calculus
- Catalogue of artificial intelligence tools
- Catalogue of artificial intelligence techniques
- Artificial intelligence : an introductory course
- Directory of Australian academic and research libraries
- Automated Deduction - Cade-12
- Artificial Intelligence Techniques
- The computer modelling of mathematical reasoning
- Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
- Rippling
- Artificial Intelligence Techniques
- Artificial intelligence
- Australian and New Zealand information literacy framework
- The computer modelling of mathematical reasoning
Author data: Open Library