Coordinación de servicios web: de las aplicaciones a los modelos formales
Tesis doctoral de Eloy Javier Mata Sotés El objetivo de la tesis ha sido la aplicación de métodos formales en […]
Tesis doctorales de José Antonio Alonso Jimenez
Teoria e implementacion de modelos computacionales de comportamientos inteligentes perspicaces (insight)
Tesis doctoral de Antonio Hernando Esteban La tesis presenta un programa que simula ciertos cambios de representación y la perspicacia
Verificación formal en acl2 del algoritmo de buchberger
Tesis doctoral de Inmaculada Medina Bulo En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar
Especificación y verificación de programas moleculares en pvs
Tesis doctoral de Graciani Díaz M. Carmen La computación molecular y, en concreto, la computación con adn, es una disciplina
Teoría computacional (en acl2) sobre cálculos proposicionales
Tesis doctoral de Francisco Jesús Martín Mateos En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y
Operadores de generalización para el aprendizaje clausal
Tesis doctoral de Miguel Angel Gutierrez Naranjo En esta memoria hemos estudiado los procesos de generalización, el paso de lo
Verificación de programas en modelos de computación no convencionales
Tesis doctoral de Fernando Sancho Caparrini La computación natural es una disciplina inspirada en el funcionamiento de los organismos vivos.
Una teoria computacional acerca de la logica ecuacional (formalizacion en acl2 de la logica ecuacional y demostracion automatica de sus propiedades)
Tesis doctoral de José Luis Ruiz Reina El objetivo principal de la tesis es el desarrollo de una teoria computacional
Tecnicas de depuracion e integracion de ontologías en el ambito empresarial
Tesis doctoral de Antonio Paredes Moreno Las empresas actuales, afectadas por la expansión de las nuevas tecnologías de información y
Teoria computacional (en pvs) de la programación logica y del analisis formal de conceptos
Tesis doctoral de María Jose Hidalgo Doblado Los objetivos principales de la tesis son la formalización de teorías matemáticas en
