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

Systematic Mathematical Theory Exploration within the Theorema System: Case Studies

Détails concernant le projet

Coût total:

EUR 0

Contribution de l'UE:

EUR 39 175

Coordonné à/au(x)/en:

Romania

Appel à propositions:

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

Régime de financement:

EIF - Marie Curie actions-Intra-European Fellowships

Objectif

Coordinateur

INSTITUTE E-AUSTRIA TIMISOARA
Romania
B-dul Cornel Coposu 4
TIMISOARA
Romania
See on map
Contact administratif: N/A