Formation of Methods for Proof Planning in Mathematics

  • Kerber, Manfred (Principal Investigator)

Project Details

Short titleFormation of Methods for Proof Planning in Mathematics
StatusFinished
Effective start/end date7/12/986/02/02

Funding

  • Engineering & Physical Science Research Council