Skip to main navigation Skip to search Skip to main content

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/98 → 6/02/02

Funding

  • Engineering & Physical Science Research Council