Siirry päänavigointiin
Siirry hakuun
Siirry pääsisältöön
Saavutettavuusseloste
English
Svenska
Suomi
Etusivu
Henkilöt
Julkaisut
Projektit
Tutkimusinfrastruktuurit
Tutkimusyksiköt
Tietoaineistot
Aktiviteetit
Palkinnot
Lehtileikkeet
Haku asiantuntemuksen, nimen tai kytköksen perusteella
Proof analysis in axiomatic systems
Conversion, Unified Project Model
(Vastuullinen tutkija)
Yleiskatsaus
Projektin yksityiskohdat
Kuvaus
Academy Research Fellowship
Tila
Päättynyt
Todellinen alku/loppupvm
01/08/2002
→
31/07/2007
Näytä kaikki
Näytä vähemmän