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 […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
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
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
Observadores lineales: un lenguaje de especificacion de propiedades para verificacion de protocolos.
Tesis doctoral de Pedro Merino Gomez La verificación de protocolos es una actividad fundamental para localizar errores de diseño y
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
Razonamiento inductivo numerico. un estudio en educacion primaria.
Tesis doctoral de Alfonso Ortiz Comas El razonamiento inductivo tiene especial importancia en la construcción matemática de la aritmética tanto
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
Induccion de conocimiento con incertidumbre en bases de datos relacionales borrosas.
Tesis doctoral de Gomez Flechoso Antonio Jose Este trabajo presenta un sistema para aprendizaje de definiciones lógicas con incertidumbre, a
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
Reflection in general logics and in rewriting logic with applications to the maude languaje.
Tesis doctoral de Manuel Garcia Clavel La reflexión, entendida como la capacidad de representar nuestras ideas y de hacerlas objetos