Automatic Guidance of Mechanically Generated Proofs

  • Bundy, Alan (Principal Investigator)
  • Gordon, Mike (Co-investigator)

Project Details

Description

EPSRC grant GR/L 14381 (Two research associates, £141,126).
StatusFinished
Effective start/end date1/10/9730/09/99