Un modelo para el calculo paralelo de deducciones en logica de predicados.
Tesis doctoral de José Ramiro Varela Arias El objetivo de la programacion logica paralela es aprovechar al maximo las fuentes […]
Tesis doctoral de Antonio Bahamonde Rionda
Información academica Antonio Bahamonde Rionda. Tesis donde Antonio Bahamonde Rionda ha sido autor, director o parte del tribunal.
Una interpretacion algebraica de la verificacion de sistemas basados en el conocimiento
Tesis doctoral de Angelica De Antonio Jimenez El trabajo presentado se puede considerar un avance en la validacion de sistemas
Mito: metodo de induccion total
Tesis doctoral de César Montes Gracia El presente trabajo resuelve el problema de deteccion de dependencias funcionales, mediante un metodo
Desarrollo, analisis e implementacion de algoritmos para la manipulacion de variedades parametricas.
Tesis doctoral de Alonso Gonzalez Cesar Luis En la tesis se analiza en profundidad y se resuelve el problema de
Shape. sistema heuristico de aprendizaje a partir de ejemplos
Tesis doctoral de Francisco Botana Ferreiro Se desarrolla un sistema de aprendizaje inductivo a partir de ejemplos. Las reglas discriminantes