Edinburgh Research Explorer

Alan Bundy

Professor

  1. A CATEGORY-THEORETIC FRAMEWORK FOR ONTOLOGY MANAGEMENT

    Bundy, A.

    Non-EU other

    1/01/0930/09/12

    Project: Research

  2. A Program to Solve Mechanics Problems Stated in English

    Bundy, A.

    1/10/7530/09/78

    Project: Other (Non-Funded/Miscellaneous)

  3. A Self Improving Algebra System

    Bundy, A.

    1/10/8030/09/83

    Project: Other (Non-Funded/Miscellaneous)

  4. A14FM : using A1 to aid automation of proof search in formal methods

    Bundy, A., Bundy, A., Grov, G., Ireland, A. & Jones, C. B.

    EPSRC

    1/04/1031/03/14

    Project: Research

  5. AUTOMATED DISCOVERY OF MATHEMATICS

    Bundy, A., Colton, S. & Smith, P.

    EPSRC

    1/08/0331/08/06

    Project: Research

  6. An Expert System for Ecological Modelling

    Bundy, A. & Muetzelfeldt, R.

    1/10/8330/09/86

    Project: Other (Non-Funded/Miscellaneous)

  7. Analogy in Theorem Proving using Proof Plans

    Bundy, A.

    1/10/9430/09/95

    Project: Other (Non-Funded/Miscellaneous)

Previous 1 2 3 4 5 6 7 Next