Computational Modelling of Mathematical Reasoning

  • Bundy, Alan (Principal Investigator)
  • Ireland, Andrew (Co-investigator)
  • Lowe, Helen (Co-investigator)
  • Smaill, Alan (Co-investigator)

Project Details

Description

EPSRC rolling funding grant GR/J 80702, (Two research associates, one computing officer, £578,931).
StatusFinished
Effective start/end date1/10/9430/09/97