Skip to main navigation
Skip to search
Skip to main content
Accessibility statement
English
Svenska
Suomi
Home
Persons
Publications
Projects
Research Infrastructures
Research Units
Datasets
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
Proof analysis in axiomatic systems
Conversion, Unified Project Model
(PI)
Overview
Project Details
Description
Academy Research Fellowship
Status
Finished
Effective start/end date
01/08/2002
→
31/07/2007
View all
View less