Edinburgh Research Explorer

Computational Modelling of Mathematical Reasoning

Project: Other (Non-Funded/Miscellaneous)

  • Bundy, Alan (Principal Investigator)
  • Ireland, Andrew (Co-investigator)
  • Lowe, Helen (Co-investigator)
  • Smaill, Alan (Co-investigator)
StatusFinished
Effective start/end date1/10/9430/09/97
Period1/10/9430/09/97

Description

EPSRC rolling funding grant GR/J 80702, (Two research associates, one computing officer, £578,931).