Universidad de La RiojaPrograma Oficial de Doctor en Ingeniería Informática...s 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 sist...... LogroñoConsultarConsultarConsultar