Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Proof Theory for Lukasiewicz and Related Logics

Desde 2004-05-01 hasta 2006-04-30

Detalles del proyecto

Coste total:

EUR 142 592

Aportación de la UE:

EUR 142 592

Coordinado en:

Austria

Convocatoria de propuestas:

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

Régimen de financiación:

EIF - Marie Curie actions-Intra-European Fellowships

Objetivo

Coordinador

TECHNISCHE UNIVERSITAET WIEN
Austria
Karlsplatz 13
WIEN
Austria
Contacto administrativo: Matthias BAAZ, (Head of Research Unit Computational Logic)
Tel.: +43-158-80111821
Fax: +43-158-63388
Correo electrónico
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba