Automated deduction with constrained clauses
Tesis doctoral de Albert Rubio Gimeno Esta tesis doctoral se centra en el estudio de mecanismos para realizar deduccion automatica […]
Tesis doctoral de Fernando Orejas Valdés
Información academica Fernando Orejas Valdés. Tesis donde Fernando Orejas Valdés ha sido autor, director o parte del tribunal.
L2 ii o2 un lenguaje logico concurrente orientado a objetos
Tesis doctoral de Ernesto Pimentel Sanchez El trabajo desarrollado en el estudio se debe enmarcar en el ambito de la
Soluciones formales al problema de la deteccion del interbloqueo.
Tesis doctoral de José Ramon Gonzalez De Mendivil Moreno El objetivo del trabajo ha sido el desarrollo de algoritmos de
Una aproximacion a la programacion logica con funciones indeterministas.
Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del
Sistema para la deteccion, diagnostico y correccion de errores en un sistema tutor inteligente
Tesis doctoral de Maite Urretavizcaya Loinaz Datos académicos de la tesis doctoral «Sistema para la deteccion, diagnostico y correccion
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
Algoritmos para la deteccion del interbloqueo en bases de datos distribuidas
Tesis doctoral de Alberto Cordoba Izaguirre Datos académicos de la tesis doctoral «Algoritmos para la deteccion del interbloqueo en
Una logica no estandard admisible para programas funcionales
Tesis doctoral de Ana Gil Luezas Datos académicos de la tesis doctoral «Una logica no estandard admisible para programas
En busca del tiempo perdido
Tesis doctoral de Yolanda Ortega Mallen Datos académicos de la tesis doctoral «En busca del tiempo perdido« Título de
Gestion de dialogos en lenguaje natural para un sistema de enseñanza inteligente
Tesis doctoral de M. Aranzazu Diaz De Ilarraza Sanchez Datos académicos de la tesis doctoral «Gestion de dialogos en