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 […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
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
Relativismo y lenguaje religioso en la filosofia de ludwig wittgenstein.
Tesis doctoral de Joaquin Jareño Alarcón El trabajo pretende realizar un estudio pormenorizado de todos los elementos que la obra
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