Computational Modelling of Mathematical Reasoning

SERC rolling funding grant GR/C/20826, (Two research associates, £93,749).

Status	Finished
Effective start/end date	1/10/82 → 30/09/86

Project Details