Edinburgh Research Explorer

Prof Alan Bundy

Professor

41 - 50 out of 62Page size: 10
???rss???
Sort by: Start date

  1. Studies in the Sociology of Proof

    Bundy, A. & McKenzie, D.

    1/10/93 → 30/09/95

    Project: Other (Non-Funded/Miscellaneous)

  2. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/92 → 30/09/96

    Project: Other (Non-Funded/Miscellaneous)

  3. The Automation of Proof by Mathematical Induction

    Bundy, A.

    1/10/92 → 30/09/94

    Project: Other (Non-Funded/Miscellaneous)

  4. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/90 → 30/09/94

    Project: Other (Non-Funded/Miscellaneous)

  5. Program Synthesis and Transformation using Intuitionist Type Theory and Proof Plans

    Bundy, A.

    1/10/90 → 30/09/91

    Project: Other (Non-Funded/Miscellaneous)

  6. Computational Logic

    Bundy, A. & Hesketh, J.

    1/10/89 → 30/09/91

    Project: Other (Non-Funded/Miscellaneous)

  7. Logical Frameworks

    Bundy, A. & Smaill, A.

    1/10/89 → 30/09/91

    Project: Other (Non-Funded/Miscellaneous)

  8. Computational Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/87 → 30/09/91

    Project: Other (Non-Funded/Miscellaneous)

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

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

    1/10/86 → 30/09/89

    Project: Other (Non-Funded/Miscellaneous)

  10. Machine Learning and Knowledge Acquisition

    Bundy, A. & Kodrato, Y.

    1/10/86 → 30/09/87

    Project: Other (Non-Funded/Miscellaneous)

Previous 1 2 3 4 5 6 7 Next