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

Algebraic and deduction methods in non-classical logic and their applications to Computer Science

Desde 2005-05-01 hasta 2007-04-30

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

EUR 80 000

Coordinado en:

Italy

Objetivo

Coordinador

University of Udine
Italy
via delle Scienze 206
33100 Udine
Italy
See on map
Contacto administrativo: Alberto POLICRITI
Tel.: +39-04-32558464
Fax: +39-04-32558499
Correo electrónico

Participantes

Georgian Academy of Science Razmadze, Mathematical Institute
Georgia
Aleksidze str. 1
0193 Tbilisi
Georgia
Contacto administrativo: Leo ESAKIA
Research Institute National, Institute of Telecommunications
Poland
Szachowa 1
04894 Warsaw
Poland
See on map
Contacto administrativo: Ewa ORLOWSKA
Siberian Branch of Russian Academy of Sciences Sobolev, Institute of Mathematics, Siberian Branch of the RAS
Russia
Prospekt Koptyuga 4
630090 Novosibirsk
Russia
See on map
Contacto administrativo: Larisa MAKSIMOVA
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba