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

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

De 2005-05-01 à 2007-04-30

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

EUR 80 000

Coordonné à/au(x)/en:

Italy

Objectif

Coordinateur

University of Udine
Italy
via delle Scienze 206
33100 Udine
Italy
See on map
Contact administratif: Alberto POLICRITI
Tél.: +39-04-32558464
Fax: +39-04-32558499
E-mail

Participants

Georgian Academy of Science Razmadze, Mathematical Institute
Georgia
Aleksidze str. 1
0193 Tbilisi
Georgia
Contact administratif: Leo ESAKIA
Research Institute National, Institute of Telecommunications
Poland
Szachowa 1
04894 Warsaw
Poland
See on map
Contact administratif: 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
Contact administratif: Larisa MAKSIMOVA