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 […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
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
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
Un modelo logico de la accion social.
Tesis doctoral de Pedro Miguel Navarro Sainz Datos académicos de la tesis doctoral «Un modelo logico de la accion