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 […]
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.
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
«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,
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
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
Red neuronal recurrente multivaluada para el reconocimiento de patrones y la optimización combinatoria
Tesis doctoral de Enrique Merida Casermeiro Se propone una nueva red neuronal recurrente a la que se dota de una
Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matemáticos de la demostración automática, realiza
Razonamiento mereotopológico automatizado para la depuración de ontologías
Tesis doctoral de Chávez González Antonia María La memoria se enmarca dentro del campo de la verificación de bases de
Bases de gÁ¶bner: desarrollo formal en coq
Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a
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,