PROYECTOS UR
Proyecto 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 del 01 de abril de 2015 al 31 de marzo de 2016
(12 meses)
euro
401,00 EUR
De ámbito Institucional.