Kuvaus
Academy Research Fellowship
| Tila | Päättynyt |
|---|---|
| Todellinen alku/loppupvm | 01/08/2002 → 31/07/2007 |
Proof analysis in axiomatic systems
- Conversion, Unified Project Model, (Vastuullinen tutkija)
| Tila | Päättynyt |
|---|---|
| Todellinen alku/loppupvm | 01/08/2002 → 31/07/2007 |