Edinburgh Research Explorer

Automatic Guidance of Mechanically Generated Proofs

Project: Other (Non-Funded/Miscellaneous)

  • Bundy, Alan (Principal Investigator)
  • Gordon, Mike (Co-investigator)
StatusFinished
Effective start/end date1/10/9730/09/99
Period1/10/9730/09/99

Description

EPSRC grant GR/L 14381 (Two research associates, £141,126).