Estructuras casi-modales e implicativas generalizadas.
Tesis doctoral de Jorge Castro Se muestra que las estructuras casi-modales generalizan a los retículos modales.Mientras que las del segundo […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Extensiones del paradigma multiadjunto: programación lógica con multirretículos y aplicaciones al análisis formal de conceptos
Tesis doctoral de Jorge Ruiz Calviño Este trabajo se enmarca en el área de los fundamentos matemáticos para la informática,
El proceso de generalizacion desarrollado por alumnos de secundaria en problemas de generalizacion lineal.
Tesis doctoral de Juan Antonio García Cruz La memoria de investigación presenta tres estudios dedicados al proceso de generalización. Dentro
Investigaciones sobre gramáticas categoriales: algoritmos de parsing y equiValencia entre formalismos
Tesis doctoral de José Antonio Jimenez Millan Esta tesis doctoral muestra el resultado de una investigación sobre la utilización del
Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly
Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas
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
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