Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

Proof Theory for Lukasiewicz and Related Logics

Dal 2004-05-01 al 2006-04-30

Dettagli del progetto

Costo totale:

EUR 142 592

Contributo UE:

EUR 142 592

Coordinato in:

Austria

Invito a presentare proposte:

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

Meccanismo di finanziamento:

EIF - Marie Curie actions-Intra-European Fellowships

Obiettivo

Coordinatore

TECHNISCHE UNIVERSITAET WIEN
Austria
Karlsplatz 13
WIEN
Austria
Contatto amministrativo: Matthias BAAZ, (Head of Research Unit Computational Logic)
Tel.: +43-158-80111821
Fax: +43-158-63388
E-mail