Fachbereich: Informática

Bereich: Informatik und künstliche Intelligenz

Forschungsgruppe: GRUPO DE INVESTIGACIÓN EN OPTIMIZACIÓN Y SCHEDULING INTELIGENTES

Email: ramiro@uniovi.es

Doktor von der Universidad de Oviedo mit der Dissertation Un modelo para el cálculo paralelo de deducciones en lógica de predicados 1996. unter der Leitung von Dr. María Camino Rodríguez Vela, Dr. Antonio Bahamonde Rionda.