Edinburgh Research Explorer
  1. Computational Logic

    Bundy, A. & Hesketh, J.

    1/10/8930/09/91

    Project: Other (Non-Funded/Miscellaneous)

  2. Computational Logic ( Compulog 2)

    Bundy, A.

    EU government bodies

    1/09/9530/09/95

    Project: Research

  3. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/9230/09/96

    Project: Other (Non-Funded/Miscellaneous)

  4. Computational Modelling of Mathematical Reasoning

    Bundy, A., Ireland, A., Lowe, H. & Smaill, A.

    1/10/9630/09/99

    Project: Other (Non-Funded/Miscellaneous)

  5. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8230/09/86

    Project: Other (Non-Funded/Miscellaneous)

  6. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8530/09/89

    Project: Other (Non-Funded/Miscellaneous)

  7. Computational Modelling of Mathematical Reasoning

    Bundy, A., Ireland, A., Lowe, H. & Smaill, A.

    1/10/9430/09/97

    Project: Other (Non-Funded/Miscellaneous)

  8. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/8730/09/91

    Project: Other (Non-Funded/Miscellaneous)

  9. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/9030/09/94

    Project: Other (Non-Funded/Miscellaneous)

  10. 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