PROYECTOS UR
Projecte ATUR15/09
Formalización de topología algebraica en lógica de orden superior. Representación y ejecución de algoritmos, estructuras y operaciones.
date_range
Duració del 01 de d’abril de 2015 al 31 de de març de 2016
(12 mesos)
euro
401,00 EUR
Dàmbit {0}.