Gå direkt till huvudinnehåll
English
Svenska
Suomi
Hem
Personer
Publikationer
Projekt
Forskningsinfrastrukturer
Forskningsenheter
Datauppsättningar
Aktiviteter
Priser
Press / media
Proof analysis in axiomatic systems
Conversion, Unified Project Model,
(PI)
Beskrivning
Academy Research Fellowship
Status
Slutfört
Gällande start-/slutdatum
01/08/2002
→
31/07/2007
Visa alla
Visa färre