Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/08/00 → 31/07/03 |
Funding
- EU government bodies: £9,600.00
Computer assisted reasoning based on Type Theory
- Hofmann, Martin (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/08/00 → 31/07/03 |