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
Short title | Formation of Methods for Proof Planning in Mathematics |
---|---|
Status | Finished |
Effective start/end date | 7/12/98 → 6/02/02 |