Contribuciones topologicas y algebraicas a los metodos formales en programacion declarativa.
Tesis doctoral de Andres Bujosa Brun Las contribuciones de la presente tesis doctoral pueden clasificarse en contribuciones topologicas y contribuciones […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Ingenieria del aprendizaje: hacia una teoria formal y fundamental del aprendizaje
Tesis doctoral de Casares Gallego Ramon M. El proposito de la tesis es definir el termino aprendizaje con la precision
Contribucion al estudio de la logica y de los condicionales borrosos.
Tesis doctoral de Susana Cubillo Villanueva La tesis constituye una nueva vision y un conjunto de nuevas aportaciones sobre algunos
Logiques modals tetravalents.
Tesis doctoral de Miquel Rius Font El objetivo de la memoria es definir y estudiar una clase de logicas abstractas
Representacion y gestion del conocimiento con cuantificacion intermedia.
Tesis doctoral de Amelia Bilbao Terol Esta tesis se basa en una linea de evolucion de la logica clasica hacia
Ecgi: un algoritmo de inferencia gramatical mediante correccion de errores
Tesis doctoral de Hector Rulot Segovia En este trabajo se introduce un nuevo metodo de inferencia gramatical, el algoritmo ecgi
Sobre dos logicas categoricas: logica lineal y algebra con tipos ordenados
Tesis doctoral de Narciso Marti Oliet La logica lineal ha sido desarrollada recientemente por girard como una logica de acciones
«arboles semanticos para logica modal con algunos resultados sobre sistemas normales»
Tesis doctoral de Salguero Lamillar Francisco Jose En las ultimas decadas han proliferado los estudios semanticos referidos a logicas intensionales,
Estudio del lema de interpolacion en el contexto de diversos lenguajes formales.
Tesis doctoral de Cristina Corredor Lanas La tesis consiste en una presentacion sistematizada del lema de interpolacion, analizando los rasgos
Verificacion de bases de conocimiento.
Tesis doctoral de Betty Ramirez Nieves Se utiliza la teoria de categorias en su version de determinadas categorias preorden para