Logica parcial trivalorada. aproximaciones de primer orden, de orden superior e intuicionista
Tesis doctoral de Francisca Lucio Carrasco Se extiende la logica de primer orden clasica, de forma conservadora, a una logica […]
Tesis doctoral de Antonio Ramón Vaquero Sánchez
Información academica Antonio Ramón Vaquero Sánchez. Tesis donde Antonio Ramón Vaquero Sánchez ha sido autor, director o parte del tribunal.
Intza: sistema tutor inteligente para entrenamiento en entornos industriales
Tesis doctoral de Julian Gutierrez Serrano En esta tesis se presenta el sistema intza, sistema tutor inteligente para entrenamiento en
Neuristicas y metaconocimiento en resolucion automatica de problemas de matematicas.
Tesis doctoral de Pablo Castells Azpilicueta La tesis describe diversa tecnicas de resolucion automatica de problemas cientificos de un nivel
Generacion y solucion automatica de problemas academicos fisico-tecnologicos
Tesis doctoral de Diaz De La Cruz Cano José M. La generacion de problemas academicos y, mas especificamente, de colecciones
Especificacion, diseño, implementacion y validacion de diferentes estructuras de material informatizado para enseñanza y aprendizaje con computadora de la fisica mediante un entorno de autor mixto.
Tesis doctoral de Andres Vazquez Morcillo En la tesis se especifican, diseñan e implementan dos metodologías de enseñanza y aprendizaje
Un estudio sobre la aplicacion del razonamiento basado en casos a la construccion de programas.
Tesis doctoral de Ines Mendiz Noguero Se ha desarrollado un sistema que permite sintetizar programas por medio de la deteccion
«una contribucion a la optimizacion topologica de arrays logicos programables»
Tesis doctoral de Julio Ballesteros Rubio En este trabajo se estudian y desarrollan tecnicas para la optimizacion de arrays logicos
Plap: un sistema que aprende a mejorar su capacidad de resolucion de problemas mediante la comparacion de los planes de actuacion generados
Tesis doctoral de María Dolores Del Castillo Sobrino Plap es un planificador automatico de tareas que aprende de la experiencia
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
Arquitecturas risc multifuncionales
Tesis doctoral de Sanchez Martin M. Teresa Datos académicos de la tesis doctoral «Arquitecturas risc multifuncionales« Título de la