Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. Automatic conjecture making in mathematics

    Bundy, A.

    EPSRC

    1/11/9931/10/02

    Project: Research

  2. Automatic inductive proof

    Bundy, A. & Stevens, A.

    1/10/9330/09/96

    Project: Other (Non-Funded/Miscellaneous)

  3. Automation of program synthesis in proof planning

    Bundy, A. & Giunchiglia, F.

    1/10/9530/09/97

    Project: Other (Non-Funded/Miscellaneous)

  4. BIONET AGENTS-Bioinformatics Network for Agents Researchers

    Rovatsos, M.

    EU government bodies

    1/09/0631/07/12

    Project: Research

  5. BIOSIM: A new tool in drug development

    Goryanin, I.

    EU government bodies

    1/12/0731/03/10

    Project: Research

  6. Biomedical research informatics delivered by Grid enabled services (BRIDGES)

    Atkinson, M.

    UK central government bodies/local authorities, health and hospital authorities

    1/07/031/12/05

    Project: Research

  7. CALCULEMUS - Systems for Integrated Computation and Deduction

    Bundy, A.

    EU government bodies

    1/09/0031/08/04

    Project: Research

  8. COLLABORATIVE TOOL DEVEL'T TO PROMOTE AD

    Goryanin, I.

    BBSRC

    1/04/0931/07/09

    Project: Research

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