|
Search concepts
|
|
Selected filters
|
- 24,450 - 24,500 out of 24,533 results
Search results
-
Finished
Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning
1/10/93 → 30/09/94
Project: Other (Non-Funded/Miscellaneous)
-
Logic program synthesis and transformation
1/10/93 → 30/09/96
Project: Other (Non-Funded/Miscellaneous)
-
Communication in Safety Cases - A Semantic Approach
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)
-
Industrial partner in collaboration with a EPSRC grant
Walton, A.
UK industry, commerce and public corporations
1/09/93 → 31/12/96
Project: Research
-
Studies of bound neucleons at short range with electromagnetic probes
Branford, D.
1/09/93 → 31/08/95
Project: Research
-
BT-dialogues
Jack, M.
UK industry, commerce and public corporations
1/09/93 → 31/12/00
Project: Research
-
Joint project with University of York. A multi-disciplinary approach to the study of speciation
Barton, N.
1/09/93 → 31/12/95
Project: Research
-
Link Project: Dietary anti-oxidant vitamins and oxidative stress
Riemersma, R.
UK central government bodies/local authorities, health and hospital authorities
1/09/93 → 31/08/96
Project: Research
-
Polarising gradients of calcium and calmodium which specify cell diversity
Trewavas, A.
1/09/93 → 31/03/97
Project: Research
-
-
-
Cityhealth:the mobilisation of research resources, transfer of research skills and the dissemination of research knowledge
Platt, S.
1/07/93 → 28/02/96
Project: Research
-
Genetic dissection of a complex restriction and modification system
Murray, N.
1/07/93 → 31/12/96
Project: Research
-
-
-
The study of afferent signal from extraocular muscles and its action on the control of the vestibulo-ocular reflex
Donaldson, I.
1/06/93 → 31/07/03
Project: Research
-
-
Study into head injuries
Andrews, P.
UK industry, commerce and public corporations
1/04/93 → 30/11/96
Project: Research
-
IMPROVED CONTROL OF TICKS
Walker, A.
UK central government bodies/local authorities, health and hospital authorities
1/04/93 → 31/03/99
Project: Research
-
Appointment of neo-natal research fellow - Dr A Shrivastava
McIntosh, N.
1/04/93 → 31/03/03
Project: Research
-
IN SUPPORT OF RESEARCH
Maudlin, I.
UK central government bodies/local authorities, health and hospital authorities
1/04/93 → 31/03/01
Project: Research
-
-
-
The life sciences and technologies for developing countries programme
Gundry, S.
1/02/93 → 31/07/98
Project: Research
-
-
CLAIR GROUP STUDENTSHIP
Underhill, J.
UK industry, commerce and public corporations
1/01/93 → 31/05/02
Project: Research
-
-
Postdoctoral Fellowship to Dr A F Read - Evolutionary ecology of parasite reproductive strategies
Read, A.
1/01/93 → 31/01/98
Project: Research
-
-
-
-
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
-
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)
-
-
COMPARATIVE UK JAPAN SOFTWARE
Fransman, M.
UK industry, commerce and public corporations
15/07/92 → 31/07/95
Project: Research
-
-
Structured Music Workshops for Individuals with Learning Difficulties
1/01/92 → 31/12/96
Project: Research Collaboration with external organisation
-
-
Pathhogenesis, Pathophysiological consequences and rational treatment of Emphysema
1/04/91 → 31/03/03
Project: Research
-
-
-
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)
-
Planning data Management Service
UK central government bodies/local authorities, health and hospital authorities
29/03/90 → 31/03/95
Project: Research
-
-
-
Computational Logic
Bundy, A. & Hesketh, J.
1/10/89 → 30/09/91
Project: Other (Non-Funded/Miscellaneous)
-