Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning

Project Details

Description

SERC Visiting Fellowship for Alan Robinson (£19,838).
StatusFinished
Effective start/end date1/10/9330/09/94

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.