El desarrollo de las colecciones: estudio evaluativo en bibliotecas universitarias españolas
Tesis doctoral de Ana Pérez López Evolución del desarrollo de las colecciones en el mundo. Revisión de métodos y modelos […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
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
Nombres, referencia y valor cognoscitivo
Tesis doctoral de Ignacio Vicario Arjona El tema del trabajo es la semántica de los nombres propios y el estudio
Una contribución al procesamiento automático de la sinonimia utilizando prolog
Tesis doctoral de Santiago Fernández Lanza La tesis comienza con una descripción de la herramienta que va a ser utilizada
Metodología para la ordenación de cuencas hidrogáficas con criterios de sostenibilidad
Tesis doctoral de Rosario Tejera Gimeno El presente trabajo aborda el análisis, adaptación y aplicación de un proceso metodológico de