Alan Bundy

Identifiers

Open LibraryOL541699A

Top Subjects

Automatic theorem proving (3)
Logic, Symbolic and mathematical (2)
Mathematics -- Data processing (2)
Computers (2)
Computers - General Information (2)
Artificial Intelligence - General (2)
Computer programming (1)

Books by Alan Bundy

Total count: 11

The metatheory of the elementary equation calculus

1971-01-01
The computer modelling of mathematical reasoning

Academic Press1983-01-01
The computer modelling of mathematical reasoning

Academic Press1983-01-01
Catalogue of artificial intelligence tools

Springer-Verlag1984-01-01
Catalogue of Artificial Intelligence Techniques

Island Press1990-01-01
Eco-LogicLogic-Based Approaches to Ecological Modeling (Logic Programming)

The MIT Press1991-02-04
Automated Deduction - Cade-1212th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)

Springer1994-07-01
Artificial Intelligence Techniques

Island Press1996-01-01
Artificial Intelligence TechniquesA Comprehensive Catalogue4th, rev. ed. edition

Springer1996-12-23
RipplingMeta-level Guidance for Mathematical Reasoning

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

Cambridge University Press2005-01-01