Edinburgh Research Explorer
  1. A Program to Solve Mechanics Problems Stated in English

    Bundy, A.

    1/10/7530/09/78

    Project: Other (Non-Funded/Miscellaneous)

  2. Controlling Inference in a Semantically Rich Domain

    Bundy, A.

    1/10/7830/09/81

    Project: Other (Non-Funded/Miscellaneous)

  3. A Self Improving Algebra System

    Bundy, A.

    1/10/8030/09/83

    Project: Other (Non-Funded/Miscellaneous)

  4. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8230/09/86

    Project: Other (Non-Funded/Miscellaneous)

  5. Methods of Teaching PROLOG Programming

    Bundy, A. & Pain, H.

    1/10/8230/09/84

    Project: Other (Non-Funded/Miscellaneous)

  6. An Expert System for Ecological Modelling

    Bundy, A. & Muetzelfeldt, R.

    1/10/8330/09/86

    Project: Other (Non-Funded/Miscellaneous)

  7. Reasoning about the User in an Intelligent Knowledge-Based Training and Aid System

    Bundy, A., Howe, J. & Ross, P.

    1/10/8330/09/86

    Project: Other (Non-Funded/Miscellaneous)

  8. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8530/09/89

    Project: Other (Non-Funded/Miscellaneous)

  9. EMR for Catalogue of AI Tools

    Bundy, A.

    1/10/8530/09/87

    Project: Other (Non-Funded/Miscellaneous)

Previous 1 2 3 4 5 6 7 Next