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
Analogy in Theorem Proving using Proof Plans
Explorer home
Staff
Research projects
Research outputs
Research activities
Colleges & Schools
Prizes
Research press coverage
Datasets
Analogy in Theorem Proving using Proof Plans
Project
:
Other (Non-Funded/Miscellaneous)
Bundy, Alan
(Principal Investigator)
School of Informatics
Centre for Intelligent Systems and their Applications
Status
Finished
Effective start/end date
1/10/94
→
30/09/95
Period
1/10/94
→
30/09/95
Description
HC&M grant CT93-0806, (one visiting fellow Dr. Erica Melis) EURO 516,865