Dependencias funcionales,ideal-operadores no deterministas y operadores de sustitución.
Tesis doctoral de ángel Mora Bonilla El trabajo de la tesis estudia los «fundamentos lógicos y algebraicos y aplicaciones a […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Logica temporal de intervalos formalización de diagramas de estados
Tesis doctoral de Carlos Rossi Jimenez En este trabajo se definen dos lógicas temporales proposicionales sobre tiempo discreto, llamadas lnint
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
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