Alan Bundy | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Alan Bundy | lit.salon

Alan Bundy

No bio available. Add one in Open Library.

Books by Alan Bundy (50 max)

Catalogue of artificial intelligence tools

1984

Alan Bundy, A. Bundy

Catalogue of Artificial Intelligence Techniques

1990

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

2005

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Eco-Logic: Logic-Based Approaches to Ecological Modeling (Logic Programming)

1991

David Robertson, Alan Bundy, Robert Meutzelfeldt, Mandy Haggith, Michael Uschold

Artificial Intelligence Techniques A Comprehensive Catalogue

1996

Artificial Intelligence Techniques: A Comprehensive Catalogue

1996

Australian and New Zealand information literacy framework: principles, standards and practice

2004

Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer, Volume 139 Frontiers in Artificial Intelligence and Applications

2006

Alan Bundy, Sean Wilson

The metatheory of the elementary equation calculus

1971

Artificial intelligence: an introductory course

1978

Artificial intelligence: an introductory course

1978

The computer modelling of mathematical reasoning

1983

The computer modelling of mathematical reasoning

1983

Directory of Australian academic and research libraries

1992

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)

1994

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

2005

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland