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