PROYECTOS UR
Project 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
Duration: from 01 April 2015 to 31 March 2016
(12 months)
euro
401.00 EUR
Of Institutional scope.