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 […]
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.
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
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
Filosofia de la aritmetica en r. carnap.
Tesis doctoral de Antonio Caba Sanchez El objetivo central del trabajo ha sido probar que la actitud sincretica de rudolf
Localizacion multicriterio de centros peligrosos
Tesis doctoral de Saameño Rodríguez Juan José En este trabajo se estudia el problema de localizacion de centros peligros con
Programacion funcional y procesamiento paralelo. transformaciones paralelizantes de programas.
Tesis doctoral de Eduardo Medina Cano Esta tesis aporta resultados originales en el marco de la teoria de transformaciones algebraicas
«arboles semanticos para logica modal con algunos resultados sobre sistemas normales»
Tesis doctoral de Salguero Lamillar Francisco Jose En las ultimas decadas han proliferado los estudios semanticos referidos a logicas intensionales,
Logica de segundo orden: problemas metateoreticos.
Tesis doctoral de Angel Nepomuceno Fernandez Datos académicos de la tesis doctoral «Logica de segundo orden: problemas metateoreticos.« Título