Delta-arboles de implicantes e implicados y reducciones de logicas en atps.
Tesis doctoral de Agustin Valverde Ramos El trabajo pertenece al campo de la demostración automática para las lógicas multivaluadas, tarea […]
Tesis doctoral de Inmaculada Perez De Guzman Molina
Información academica Inmaculada Perez De Guzman Molina. Tesis donde Inmaculada Perez De Guzman Molina ha sido autor, director o parte del tribunal.
Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar
Razonamiento inductivo numerico. un estudio en educacion primaria.
Tesis doctoral de Alfonso Ortiz Comas El razonamiento inductivo tiene especial importancia en la construcción matemática de la aritmética tanto
Reducciones totales y parciales para el analisis de validez y construccion de modelos en m3.
Tesis doctoral de Gabriel Aguilera Venegas Esta tesis estudia la demostracion automatica de teoremas en logicas trivaluadas. Concretamente se presenta
Metodos formales para normalizacion en logica de primer orden usando la metodología tas.
Tesis doctoral de Manuel Ojeda Aciego En la logica de primer orden la obtencion de formas normales es un prerrequisito
Clp (temp): integracion de restricciones temporales metricas y simbolicas en el marco clp.
Tesis doctoral de Ibañez Buscemi Francisco Salvador En este trabajo se ha propuesto una herramienta temporal que permite expresar puntos
Logica temporal y demostracion automatica de teoremas. eficiencia y paralelismo
Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal
Optimizacion y analisis de especificaciones funcionales. un enfoque hacia la automatizacion
Tesis doctoral de Cristobal Pareja Flores Este trabajo se situa en el area de las transformaciones algebraicas de programas funcionales