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 […]
Accede a todas las tesis doctorales sobre Logica mas relevantes.
Tesis doctoral de Betty Ramirez Nieves Se utiliza la teoria de categorias en su version de determinadas categorias preorden para […]
Tesis doctoral de Zofio Ferrer José Luis Datos académicos de la tesis doctoral «Problemas en la construccion de una
Tesis doctoral de Angel Nuñez Gomez Datos académicos de la tesis doctoral «Criterios de pertenencia basados en relaciones de
Tesis doctoral de Jaime Casasnovas Casasnovas Datos académicos de la tesis doctoral «Contribucion a una formalizacion de la inferencia
Tesis doctoral de Enrique Droeven Demanet Datos académicos de la tesis doctoral «Genesis y desarrollo de los numeros reales
Tesis doctoral de Alejandro Sobrino Cerdeiriña Datos académicos de la tesis doctoral «La vaguedad: hacia un estudio critico de
Tesis doctoral de Antonio Gavilanes Franco Datos académicos de la tesis doctoral «Una logica trivalorada para funciones recursivas parciales«
Tesis doctoral de Ana Gil Luezas Datos académicos de la tesis doctoral «Una logica no estandard admisible para programas
Tesis doctoral de Rodriguez Vela M. Camino Datos académicos de la tesis doctoral «Optimizacion de automatas finitos« Título de
Tesis doctoral de Angel Nepomuceno Fernandez Datos académicos de la tesis doctoral «Logica de segundo orden: problemas metateoreticos.« Título