Edinburgh Research Explorer
  1. EU Open Knowledge Project

    Bundy, A.

    1/10/0630/09/08

    Project: Other (Non-Funded/Miscellaneous)

  2. Unifying proof plans and schemas for program synthesis and transformation'

    Bundy, A.

    1/10/981/10/99

    Project: Other (Non-Funded/Miscellaneous)

  3. Automated Deduction and Program Synthesis

    Bundy, A.

    1/10/9730/09/98

    Project: Other (Non-Funded/Miscellaneous)

  4. Automatic Guidance of Mechanically Generated Proofs

    Bundy, A. & Gordon, M.

    1/10/9730/09/99

    Project: Other (Non-Funded/Miscellaneous)

  5. Difference reduction techniques in automating theorem proving

    Bundy, A.

    1/10/9631/12/96

    Project: Other (Non-Funded/Miscellaneous)

  6. Computational Modelling of Mathematical Reasoning

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

    1/10/9630/09/99

    Project: Other (Non-Funded/Miscellaneous)

  7. Automation of program synthesis in proof planning

    Bundy, A. & Giunchiglia, F.

    1/10/9530/09/97

    Project: Other (Non-Funded/Miscellaneous)

  8. Analogy in Theorem Proving using Proof Plans

    Bundy, A.

    1/10/9430/09/95

    Project: Other (Non-Funded/Miscellaneous)

  9. Computational Modelling of Mathematical Reasoning

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

    1/10/9430/09/97

    Project: Other (Non-Funded/Miscellaneous)

  10. Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning

    Bundy, A.

    1/10/9330/09/94

    Project: Other (Non-Funded/Miscellaneous)

  11. Automatic inductive proof

    Bundy, A. & Stevens, A.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  12. Logic program synthesis and transformation

    Bundy, A.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  13. Studies in the Sociology of Proof

    Bundy, A. & McKenzie, D.

    1/10/9330/09/95

    Project: Other (Non-Funded/Miscellaneous)

  14. Communication in Safety Cases - A Semantic Approach

    Bundy, A. & Robertson, D.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  15. The Automation of Proof by Mathematical Induction

    Bundy, A.

    1/10/9230/09/94

    Project: Other (Non-Funded/Miscellaneous)

  16. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/9230/09/96

    Project: Other (Non-Funded/Miscellaneous)

  17. Computational Modelling of Mathematical Reasoning

    Bundy, A. & Smaill, A.

    1/10/9030/09/94

    Project: Other (Non-Funded/Miscellaneous)

  18. Logical Frameworks

    Bundy, A. & Smaill, A.

    1/10/8930/09/91

    Project: Other (Non-Funded/Miscellaneous)

  19. Computational Logic

    Bundy, A. & Hesketh, J.

    1/10/8930/09/91

    Project: Other (Non-Funded/Miscellaneous)

Previous 1 2 3 4 Next