News
About
Studying
Research
Alumni
Global
Students
Staff
Schools & departments
Search the Research Explorer
Search the full site
Search for people
Contact us
University Homepage
Research
Explorer home
Projects
Flexible incorporation of decision procedures into the LamdaClam proof...
Explorer home
Staff
Research projects
Research outputs
Research activities
Colleges & Schools
Prizes
Research press coverage
Datasets
Flexible incorporation of decision procedures into the LamdaClam proof-planning system
Project
:
Research
Bundy, Alan
(Principal Investigator)
School of Informatics
Centre for Intelligent Systems and their Applications
Status
Finished
Effective start/end date
1/06/01
→
30/09/02
Total award
£19,670.00
Funding organisation
EPSRC
Funder project reference
GR/R52954/01
Period
1/06/01
→
30/09/02