Author

Alan Bundy

16 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

16 books
Artificial Intelligence Techniques

Artificial Intelligence Techniques

1996
Automated Deduction - Cade-12

Automated Deduction - Cade-12

1994
Catalogue of artificial intelligence techniques

Catalogue of artificial intelligence techniques

1990
Catalogue of artificial intelligence tools

Catalogue of artificial intelligence tools

1984 Alan Bundy and A. Bundy
The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning

1983
Artificial intelligence

Artificial intelligence

Year unknown
Artificial intelligence : an introductory course

Artificial intelligence : an introductory course

Year unknown
Artificial Intelligence Techniques

Artificial Intelligence Techniques

Year unknown
Australian and New Zealand inform...

Australian and New Zealand information literacy framework

Year unknown
Directory of Australian academic ...

Directory of Australian academic and research libraries

Year unknown
Eco-logic

Eco-logic

Year unknown David Robertson, Alan Bundy, Robert Meutzelfeldt, Mandy Haggith, and Michael Uschold
Rippling

Rippling

Year unknown Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland
Rippling Meta-Level Guidance for ...

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

Year unknown Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland
Rob Milne

Rob Milne

Year unknown Alan Bundy and Sean Wilson
The computer modelling of mathema...

The computer modelling of mathematical reasoning

Year unknown
The metatheory of the elementary ...

The metatheory of the elementary equation calculus

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.