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 […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
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
Sobre el teorema de gÁ¶del: una construcción artimética y funcional de sistemas con proposiciones formalmente indecidibles. el teorema del isomorfismo aritmético-funcional
Tesis doctoral de álvarez Cañas Ignacio José En este trabajo se implican las conclusiones de gí¶del, mediante el estudio de
Problemas de conexiones ortogonales
Tesis doctoral de José Ramon Portillo Fernandez El área de investigación sobre dibujos de grafos constituye una importante conexión entre
Técnicas de automatización avanzadas en procesos industriales
Tesis doctoral de Emilio Jiménez Macías La tesis presenta una metodología para la mejora de los procesos productivos en plantas
Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias
Tesis doctoral de Jesús Medina Moreno Se introducen los retículos multi-adjuntos y las álgebras multi-adjuntas para construir un marco general
Contribucion a la fase de prueba de sistemas concurrentes y distribuidos mediante tecnicas de descripcion formal
Tesis doctoral de Juan Carlos Burguillo Rial El objetivo de esta tesis es analizar y formalizar nuevas tecnicas para mejorar
Tecnicas de demostracion de indecidibilidad e inseparabilidad en teorias formales
Tesis doctoral de Enrique Gallego Castaño El objetivo de esta memoria es analizar las tecnicas para la demostracion de la
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
Una aportacion a la aritmetica computacional mediante logica umbral
Tesis doctoral de Javier Lopez Garcia El mayor inconveniente con el que nos encontramos para mejorar la velocidad de ejecucion