Alan Lindsey Bundy profile picture

Alan Lindsey Bundy

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Connection and Convergence Second International Conference on Joint Use Libraries : Adelaide, South Australia, 3-4 November 2011 : Proceedings
Artificial intelligence : an introductory course
Rob Milne
Catalogue of Artificial Intelligence Techniques (Symbolic Computation-Artificial Intelligence)
Artificial Intelligence Techniques
AI1 problem solving notes
Automated Deduction - Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)
Rippling: Meta-level Guidance for Mathematical Reasoning
Catalogue of Artificial Intelligence Techniques
Catalogue of Artificial Intelligence Techniques
Artificial Intelligence: An Introductory Course
Artificial Intelligence Problem Solving Programmes
Catalogue of Artificial Intelligence Tools
Artificial Intelligence An Introductory Course
Artificial Intelligence Techniques: A Comprehensive Catalogue

See All