Sintaxis y codificacion en modelos de sistemas complejos.
Tesis doctoral de Francisco Vives Macia En esta tesis se ha elaborado un estudio sobre la modelización de los sistemas […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Algunas contribuciones a la modelizacion matematica de procesos de combustion de carbon.
Tesis doctoral de Ferrin Gonzalez José Luis En esta tesis se propone un modelo matemático que describe el comportamiento de
Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar
Delta-arboles de implicantes e implicados y reducciones de logicas en atps.
Tesis doctoral de Agustin Valverde Ramos El trabajo pertenece al campo de la demostración automática para las lógicas multivaluadas, tarea
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
Estudio algebraico de las extensiones de los calculos multivalentes de lukasiewicz.
Tesis doctoral de Joan Gispert Braso El objetivo principal de la tesis es estudiar las extensiones de los calculos multivalentes
Aplicacion de tecnicas de descripcion formal, mediante lenguaje sdl, al modelo arquitectonico de referencia normalizado de la infraestructura global de la informacion.
Tesis doctoral de Manuel Tomas Valero Esta tesis está dedicada a analizar el problema de la construcción de las futuras
Contribucion al estudio de los sistemas de comunicaciones industriales mediante tecnicas de descripcion formal.
Tesis doctoral de Francisco Poza Gonzalez El uso creciente de los buses de campo en la industria ha originado el
Particion informacional en el discurso.
Tesis doctoral de Isabel Gomez Txurruka Este trabajo tiene como objetivo plantear las bases de una teoría de la partición