Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 18/07/97 → 17/07/02 |
Proof theoretical investigations of computer science logics
- Gore, Rajeev (PI)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 18/07/97 → 17/07/02 |