Departamento: Informática

Área: Ciencia da Computación e Intelixencia Artificial

Grupo de investigación: GRUPO DE INVESTIGACIÓN EN OPTIMIZACIÓN Y SCHEDULING INTELIGENTES

Correo el.: ramiro@uniovi.es

Doutor pola Universidad de Oviedo coa tese Un modelo para el cálculo paralelo de deducciones en lógica de predicados 1996. Dirixida por Dra. María Camino Rodríguez Vela, Dr. Antonio Bahamonde Rionda.