Drl: un lenguaje logico para sistemas distribuidos de tiempo real
Tesis doctoral de Manuel Diaz Rodriguez La tesis se enmarca en el ambito de los lenguajes logicos concurrentes y su […]
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.
Arquitectura para sistemas inteligentes de instruccion asistida por computador
Tesis doctoral de Corredor Montagut Martha Vitalia Soportados en la experiencia de desarrollo, uso y evaluacion de distinto tipo de
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
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
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 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