Projects per year
- 1,800 - 1,850 out of 1,866 results
Search results
-
Finished
Editorial Support
Willshaw, D.
UK industry, commerce and public corporations
16/06/98 → 15/06/03
Project: Research
-
-
-
-
Casual explanation of diagnostic findings in model- based diagnosis of dynamic systems
Shen, Q.
1/03/98 → 31/08/99
Project: Research
-
-
-
In support of research
Shen, Q.
UK industry, commerce and public corporations
1/01/98 → 5/01/01
Project: Research
-
-
Memory hierarchy analysis and optimization tools for the end user
1/12/97 → 30/11/00
Project: Research
-
-
Multilevel analysis of the development & function of the nervous system
Willshaw, D.
1/11/97 → 31/10/02
Project: Research
-
-
Automated Deduction and Program Synthesis
1/10/97 → 30/09/98
Project: Other (Non-Funded/Miscellaneous)
-
Automatic Guidance of Mechanically Generated Proofs
Bundy, A. & Gordon, M.
1/10/97 → 30/09/99
Project: Other (Non-Funded/Miscellaneous)
-
-
F/ship to Ioannis Kalfoglou - The impact of knowledge based systems on software design
Robertson, D.
8/09/97 → 7/09/00
Project: Research
-
F/ship to Auke Jan Ijspeert - Modelling the neural controller of a swimming lamprey: a comparison of naturally & artificially
Hallam, J.
1/09/97 → 31/08/98
Project: Research
-
-
-
-
-
-
INTEGRATING SOCIAL & REPRESEN.
Stenning, K., Conlon, T., Lee, J. & Oberlander, J.
1/12/96 → 31/03/01
Project: Research
-
-
Difference reduction techniques in automating theorem proving
1/10/96 → 31/12/96
Project: Other (Non-Funded/Miscellaneous)
-
Computational Modelling of Mathematical Reasoning
Bundy, A., Ireland, A., Lowe, H. & Smaill, A.
1/10/96 → 30/09/99
Project: Other (Non-Funded/Miscellaneous)
-
Support for the ESRC Human Communication Research Centre
Stenning, K.
31/07/96 → 30/09/99
Project: Research
-
-
-
Automation of program synthesis in proof planning
Bundy, A. & Giunchiglia, F.
1/10/95 → 30/09/97
Project: Other (Non-Funded/Miscellaneous)
-
-
OBJECT ORIENTED PROGRAMS LEGO
UK central government bodies/local authorities, health and hospital authorities
1/07/95 → 30/03/98
Project: Research
-
Architectures for sentence processing: psycholinguistics and computation - Fellowship to Dr M W Croker
Klein, E.
1/10/94 → 30/09/98
Project: Research
-
Computational Modelling of Mathematical Reasoning
Bundy, A., Ireland, A., Lowe, H. & Smaill, A.
1/10/94 → 30/09/97
Project: Other (Non-Funded/Miscellaneous)
-
Analogy in Theorem Proving using Proof Plans
1/10/94 → 30/09/95
Project: Other (Non-Funded/Miscellaneous)
-
BRITISH-GERMAN ACADEMIC RES
UK central government bodies/local authorities, health and hospital authorities
1/07/94 → 31/03/98
Project: Research
-
BRITISH-GERMAN ACADEMIC
UK central government bodies/local authorities, health and hospital authorities
1/06/94 → 31/03/97
Project: Research
-
Logic program synthesis and transformation
1/10/93 → 30/09/96
Project: Other (Non-Funded/Miscellaneous)
-
Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning
1/10/93 → 30/09/94
Project: Other (Non-Funded/Miscellaneous)
-
Communication in Safety Cases - A Semantic Approach
Bundy, A. & Robertson, D.
1/10/93 → 30/09/96
Project: Other (Non-Funded/Miscellaneous)
-
Automatic inductive proof
Bundy, A. & Stevens, A.
1/10/93 → 30/09/96
Project: Other (Non-Funded/Miscellaneous)
-
Studies in the Sociology of Proof
Bundy, A. & McKenzie, D.
1/10/93 → 30/09/95
Project: Other (Non-Funded/Miscellaneous)
-
-
The Automation of Proof by Mathematical Induction
1/10/92 → 30/09/94
Project: Other (Non-Funded/Miscellaneous)
-
Computational Modelling of Mathematical Reasoning
Bundy, A. & Smaill, A.
1/10/92 → 30/09/96
Project: Other (Non-Funded/Miscellaneous)
-
Computational Modelling of Mathematical Reasoning
Bundy, A. & Smaill, A.
1/10/90 → 30/09/94
Project: Other (Non-Funded/Miscellaneous)
-
Program Synthesis and Transformation using Intuitionist Type Theory and Proof Plans
1/10/90 → 30/09/91
Project: Other (Non-Funded/Miscellaneous)
-
-
Computational Logic
Bundy, A. & Hesketh, J.
1/10/89 → 30/09/91
Project: Other (Non-Funded/Miscellaneous)