Project Details
| Short title | Formation of Methods for Proof Planning in Mathematics |
|---|---|
| Status | Finished |
| Effective start/end date | 7/12/98 → 6/02/02 |
Funding
- Engineering & Physical Science Research Council
Formation of Methods for Proof Planning in Mathematics
- Kerber, Manfred (Principal Investigator)