Edinburgh Research Explorer

CALCULEMUS - Systems for Integrated Computation and Deduction

Project: Research

StatusFinished
Effective start/end date1/09/0031/08/04
Total award£102,308.00
Funding organisationEU government bodies
Funder project referenceHPRN-CT-2000-00102
Period1/09/0031/08/04