Projektinformation
Beskrivning
Academy Research Fellowship
| Status | Slutfört |
|---|---|
| Gällande start-/slutdatum | 01/08/2002 → 31/07/2007 |
Proof analysis in axiomatic systems
- Conversion, Unified Project Model (PI)
| Status | Slutfört |
|---|---|
| Gällande start-/slutdatum | 01/08/2002 → 31/07/2007 |