A
Alan Bundy
16 works on record
Works
Artificial Intelligence Techniques
1996
Automated Deduction - Cade-12
1994
Catalogue of artificial intelligence techniques
1990
Catalogue of artificial intelligence tools
1984
The computer modelling of mathematical reasoning
1983
Artificial intelligence : an introductory course
Australian and New Zealand information literacy framework
Australian and New Zealand information literacy framework
The computer modelling of mathematical reasoning
The computer modelling of mathematical reasoning
Rob Milne
Eco-logic
Directory of Australian academic and research libraries
Directory of Australian academic and research libraries
Artificial Intelligence Techniques
Rippling
Artificial intelligence
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
The metatheory of the elementary equation calculus
The metatheory of the elementary equation calculus