Alan Bundy

• Artificial Intelligence Techniques
• Catalogue of artificial intelligence techniques
• Catalogue of artificial intelligence tools
• Australian and New Zealand information literacy framework
• Artificial intelligence
• Artificial intelligence : an introductory course
• Artificial Intelligence Techniques
• Automated Deduction - Cade-12
• Eco-logic
• Rippling
• Rob Milne
• The computer modelling of mathematical reasoning