PROYECTOS CAR
Projecte 0307101002 COLABORA 2010/07
Formalization fo Mathematics (ForMath) FP7 STREP projet, number 243847
date_range
Duració del 01 de de gener de 2010 al 31 de d’octubre de 2012
(34 mesos)
euro
44.000,00 EUR
Dàmbit {0}.
Investigadors/es
Julio
Rubio García
Responsable