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 […]
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Tesis doctoral de Angelica De Antonio Jimenez El trabajo presentado se puede considerar un avance en la validacion de sistemas […]
Tesis doctoral de Rodriguez Herrera Carlos Francisco En esta tesis se presenta un entorno integrado de planificacion y control para
Tesis doctoral de Jorge Ferris Malonda 1. Introduccion. 2. Color en sistemas de diseño. 2.1. Aproximacion a la naturaleza de
Tesis doctoral de Luis Cachafeiro Chamosa Se presenta un nuevo algoritmo universal de e-unificacion que es completo en teorias generales,
Tesis doctoral de Jose Gonzalez Rovira La tesis presentada consiste en el estudio del invariante de hasse-witt de las curvas
Tesis doctoral de Cabaleiro Dominguez José Carlos En esta memoria se ha demostrado algoritmos paralelos para el alineamiento y centrado
Tesis doctoral de Juan Miguel Medina Rodriguez Partiendo del modelo de bases de datos relacionales, propuesto por codd en 1970,
Tesis doctoral de Iraola Moreno Luis Oliverio Este trabajo se situa en la zona de confluencia de diversas disciplinas de
Tesis doctoral de Morcillo Aixela M. Carmen Se aborda el estudio de las observaciones anomalas e influyentes desde el punto
Tesis doctoral de Alonso Gonzalez Cesar Luis En la tesis se analiza en profundidad y se resuelve el problema de