Solving hard industrial combinatorial problems with sat
Tesis doctoral de Ignasi Abío Roig The topic of this thesis is the development of sat-based techniques and tools for […]
Tesis doctoral sobre Aplicaciones de la logica
Accede a todas las tesis doctorales sobre Aplicaciones de la logica mas relevantes.
Metodología para sistemas de gestión inteligente de la información a bordo del vehículo
Tesis doctoral de Nerea Aguiriano León Los vehículos representan un aspecto fundamental de la vida diaria de las personas que
Validation of mappings between data schemas
Tesis doctoral de Guillem Rull Fort In this thesis, we present a new approach to the validation of mappings between
Aplicación de los diagramas binarios de decisión al análisis integrado de seguridad
Tesis doctoral de Cristina Ibáñez Llano The research of this thesis lies in the framework of the improvement of the
Geometry of grammar: exercices in lambek style
Tesis doctoral de Mario Fadda This thesis studies proof nets for several variants of the lambek calculus and their classical
Técnicas avanzadas de compilación para programación lógica
Tesis doctoral de José Francisco Morales Caballero (english) declarative programming languages allow the expression of programs in a language that
Desplegado de programas lógicos difusos
Tesis doctoral de Jaime Penabad Vázquez El objetivo general de esta tesis es la introducción de un conjunto de transformaciones,
Agrupaciones económicas de las regiones de la federación rusa mediante métodos matemáticos en condiciones de incertidumbre
Tesis doctoral de Anna Klimova El objetivo central de la tesis doctoral es la aplicación práctica de los métodos matemáticos
Modelado y formalización basado en ontologías del conocimiento dinámico para la construcción de software en el dominio de la ingeniería de control
Tesis doctoral de María Del Carmen Benavides Cuéllar El tema abordado en esta tesis es la representación del conocimiento dinámico
Entre la logica y el derecho:paradojas y conflictos normativos
Tesis doctoral de Jose Ausin Diez Este es un trabajo de lógica deóntica jurídica, es decir, un análisis de las