Computational Modelling of Mathematical Reasoning

SERC rolling funding grant GR/E/44598, (Two research associates, £160,831).

Status	Finished
Effective start/end date	1/10/87 → 30/09/91

Project Details