Universidad de La RiojaPrograma Oficial de Doctor en Ingeniería Informática... Formalización de las matemáticas y razonamiento mecanizado Desarrollo de algoritmos simbólicos para el estudio de sistemas dinámicos Metodología y tecnologías en sistemas de información Algoritmos eficientes para la resolución de sis...... LogroñoConsultarConsultarConsultar
