PROYECTOS CAR
Projet 0307101002 COLABORA 2010/07
Formalization fo Mathematics (ForMath) FP7 STREP projet, number 243847
date_range
Durée de 01 janvier 2010 à 31 octobre 2012
(34 mois)
euro
44 000,00 EUR
Sphère Régional.
Chercheurs
Julio
Rubio García
Responsable