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, […]
Tesis doctorales de Manuel Ojeda Aciego
Csp problemas as algorithmic benchmarks: measures, methods and models
Tesis doctoral de Carlos Mateu Piñol Part of the current research in artificial intelligence is focused in resolving and studying
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,
Razonamiento aproximado aplicado al reconocimiento de acciones sobre la señal de vídeo comprimido.
Tesis doctoral de Luis Rodríguez Benítez Se desarrolla un sistema de visión por computador que extrae la información de manera
Optimización en el diseño de torres
Tesis doctoral de Salvador Merino Córdoba En este trabajo se presenta la formalización de las técnicas de optimización sobre un
Diseño e implementación de un lenguaje de programacion lógica borrosa con unificacion debil
Tesis doctoral de Clemente Rubio Manzano La programación lógica es un paradigma de programación que tiene como objetivo el empleo
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
