Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Proof Theory for Lukasiewicz and Related Logics

De 2004-05-01 à 2006-04-30

Détails concernant le projet

Coût total:

EUR 142 592

Contribution de l'UE:

EUR 142 592

Coordonné à/au(x)/en:

Austria

Appel à propositions:

FP6-2002-MOBILITY-5See other projects for this call

Régime de financement:

EIF - Marie Curie actions-Intra-European Fellowships

Objectif

Coordinateur

TECHNISCHE UNIVERSITAET WIEN
Austria
Karlsplatz 13
WIEN
Austria
Contact administratif: Matthias BAAZ, (Head of Research Unit Computational Logic)
Tél.: +43-158-80111821
Fax: +43-158-63388
E-mail