|
Search concepts
|
|
Selected filters
|
- 1 - 50 out of 25,109 results
Search results
-
A Program to Solve Mechanics Problems Stated in English
1/10/75 → 30/09/78
Project: Other (Non-Funded/Miscellaneous)
-
Controlling Inference in a Semantically Rich Domain
1/10/78 → 30/09/81
Project: Other (Non-Funded/Miscellaneous)
-
-
-
-
Computational Modelling of Mathematical Reasoning
1/10/82 → 30/09/86
Project: Other (Non-Funded/Miscellaneous)
-
Methods of Teaching PROLOG Programming
Bundy, A. & Pain, H.
1/10/82 → 30/09/84
Project: Other (Non-Funded/Miscellaneous)
-
An Expert System for Ecological Modelling
Bundy, A. & Muetzelfeldt, R.
1/10/83 → 30/09/86
Project: Other (Non-Funded/Miscellaneous)
-
The provision of support services for the Alvey IKBS Intelligent Front Ends Theme Co-ordinator
1/10/83 → 30/09/84
Project: Other (Non-Funded/Miscellaneous)
-
Reasoning about the User in an Intelligent Knowledge-Based Training and Aid System
Bundy, A., Howe, J. & Ross, P.
1/10/83 → 30/09/86
Project: Other (Non-Funded/Miscellaneous)
-
-
Evaluating Prolog Environments
Bundy, A. & Pain, H.
1/10/85 → 30/09/88
Project: Other (Non-Funded/Miscellaneous)
-
-
Computational Modelling of Mathematical Reasoning
1/10/85 → 30/09/89
Project: Other (Non-Funded/Miscellaneous)
-
Support for postdoc appointment
Murray, K., Leach, D. & Murray, N.
UK industry, commerce and public corporations
4/02/86 → 31/12/15
Project: Research
-
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)
-
Machine Learning and Knowledge Acquisition
Bundy, A. & Kodrato, Y.
1/10/86 → 30/09/87
Project: Other (Non-Funded/Miscellaneous)
-
Planning data management service
Dowers, S.
UK central government bodies/local authorities, health and hospital authorities
29/07/87 → 31/03/03
Project: Research
-
Computational Modelling of Mathematical Reasoning
1/10/87 → 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)
-
-
-
-
Planning data Management Service
UK central government bodies/local authorities, health and hospital authorities
29/03/90 → 31/03/95
Project: Research
-
Program Synthesis and Transformation using Intuitionist Type Theory and Proof Plans
1/10/90 → 30/09/91
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)
-
-
Pathhogenesis, Pathophysiological consequences and rational treatment of Emphysema
1/04/91 → 31/03/03
Project: Research
-
-
-
Structured Music Workshops for Individuals with Learning Difficulties
1/01/92 → 31/12/96
Project: Research Collaboration with external organisation
-
-
COMPARATIVE UK JAPAN SOFTWARE
Fransman, M.
UK industry, commerce and public corporations
15/07/92 → 31/07/95
Project: Research
-
-
Computational Modelling of Mathematical Reasoning
Bundy, A. & Smaill, A.
1/10/92 → 30/09/96
Project: Other (Non-Funded/Miscellaneous)
-
The Automation of Proof by Mathematical Induction
1/10/92 → 30/09/94
Project: Other (Non-Funded/Miscellaneous)
-
-
Simulation of switched mode power supplies - student research project
Macpherson, E. & Whittington, H.
UK industry, commerce and public corporations
1/10/92 → 1/10/02
Project: Research
-
-
CAP: Comparative Agendas Project
Bevan, S., Baumgartner, F. R., Jones, B., Walgrave , S. & Green-Pedersen, C.
1/01/93 → …
Project: Research Collaboration with external organisation
-
Postdoctoral Fellowship to Dr A F Read - Evolutionary ecology of parasite reproductive strategies
Read, A.
1/01/93 → 31/01/98
Project: Research
-
-
-
CLAIR GROUP STUDENTSHIP
Underhill, J.
UK industry, commerce and public corporations
1/01/93 → 31/05/02
Project: Research
-
-
The life sciences and technologies for developing countries programme
Gundry, S.
1/02/93 → 31/07/98
Project: Research
-
-