Edinburgh Research Explorer

Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning

Project: Other (Non-Funded/Miscellaneous)

StatusFinished
Effective start/end date1/10/9330/09/94
Period1/10/9330/09/94

Description

SERC Visiting Fellowship for Alan Robinson (£19,838).