PROYECTOS UR
Proxecto 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ón do 01 de abril de 2015 ao 31 de marzo de 2016
(12 meses)
euro
401,00 EUR
De ámbito Institucional.