Département: Informática

Domaine: Ciencia de la Computación e Inteligencia Artificial

Groupe de recherche: GRUPO DE INVESTIGACIÓN EN OPTIMIZACIÓN Y SCHEDULING INTELIGENTES

Email: ramiro@uniovi.es

Docteur à l Universidad de Oviedo avec la thèse Un modelo para el cálculo paralelo de deducciones en lógica de predicados 1996. Dirigée par Dra. María Camino Rodríguez Vela, Dr. Antonio Bahamonde Rionda.