Alan Bundy

Catalogue of artificial intelligence tools

2012

Catalogue of artificial intelligence techniques

2012

Rippling

2009

Artificial Intelligence Techniques

1997

The computer modelling of mathematical reasoning

1983

Rob Milne

2006

Rippling: Meta-level Guidance for Mathematical Reasoning

2005

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

2005

Eco-logic

1991

Directory of Australian academic and research libraries

1992

Australian and New Zealand information literacy framework

2004

Artificial intelligence

1978

Artificial intelligence : an introductory course

1978

AI1 problem solving notes

1983