Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8730/09/91

    Project: Other (Non-Funded/Miscellaneous)

  2. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/9030/09/94

    Project: Other (Non-Funded/Miscellaneous)

  3. Computational modelling of mathematical reasoning

    Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

    EPSRC

    1/10/9830/09/02

    Project: Research

  4. Computer-aided design of programs in the domain of ecological modelling

    Bundy, A., Uschold, M., Muetzelfeldt, R. & Robertson, D.

    1/10/8630/09/89

    Project: Other (Non-Funded/Miscellaneous)

  5. Controlling Inference in a Semantically Rich Domain

    Bundy, A.

    1/10/7830/09/81

    Project: Other (Non-Funded/Miscellaneous)

  6. Development of a network infrastructure to enable XCalibre to offer scalable application service provisioning on demand

    Anderson, P. & Anderson, S.

    UK central government bodies/local authorities, health and hospital authorities, UK industry, commerce and public corporations

    1/05/0730/06/09

    Project: Research

  7. Difference reduction techniques in automating theorem proving

    Bundy, A.

    1/10/9631/12/96

    Project: Other (Non-Funded/Miscellaneous)

  8. E-science Core Programme Senior Research Fellow

    Atkinson, M.

    EPSRC

    1/04/0631/03/11

    Project: Research

Previous 1 2 3 4 5 6 7 8 ...13 Next