Metodología basada en lógica difusa para el análisis de señales continuas con contenido simbólico.
Tesis doctoral de José Ignacio Estevez Damas Esta investigación trata del diseño de algoritmos capaces de procesar adecuadametne un tipo […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Yehoshua bar-hillel: lógica de los lenguajes naturales, información semántica y linguística teórica
Tesis doctoral de Solans García Ana Eugenia La presente tesis céntrarse en el estudio de las consecuencias que, para el
«a contribution to the study of multivalued systems»
Tesis doctoral de Margarita Miró Juliá Esta tésis recoge toda una serie de fundamentos teóricos que definen un lenguaje multivaluado
Especificacion, verificacion y mantenimiento de requisitos funcionales con tecnicas de descripcion formal.
Tesis doctoral de Jorge Garcia Duque La tesis se enmarca dentro de la ingenieria del software, disciplina que tiene como
Validacio de modelos meteorologicos (hidrostatico y no hidrostatico) acoplados a un modelo lagrangiano de particulas en el entorno de la c.t. as pontes.
Tesis doctoral de Souto Alvedro M. Jesús Los modelos de simulación atmosférica han sido durante los últimos 30 años una
Modelo depredador-presa. aplicaciones al control biológico
Tesis doctoral de Manuel Gamez Camara En esta memoria se considera un sistema diferencial cooperativo en el sentido de que
Elementos de semántica denotacional de lenguajes de programación con datos borrosos.
Tesis doctoral de Daniel Sanchez Alvarez La tesis tiene como objetivo estudiar las bases que permitan definir, de manera formal,
Pragmatica de la sintesis de programas lógicos
Tesis doctoral de David Robert Son Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones
Modelos y metodos matematicos en un problema de coordinacion hidrotermica.
Tesis doctoral de Otero Corte José Aurelio El principal objetivo del trabajo es resolver un problema de programación óptima en
Analisis sintactivo discriminante inverso.
Tesis doctoral de Jose Fortes Galvez Desde la invención por donald knuth del análisis sintáctico lr(k) -el método práctico más