Teoría computacional (en acl2) sobre cálculos proposicionales
Tesis doctoral de Francisco Jesús Martín Mateos En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y […]
Tesis doctoral de Julio Jesús Rubio García
Información academica Julio Jesús Rubio García. Tesis donde Julio Jesús Rubio García ha sido autor, director o parte del tribunal.
E-learning y la calibración de ítems de test: teoría de respuesta al ítem versus calibración basada en juicios de expertos. un estudio empírico
Tesis doctoral de Rosa María Arruabarrena Santos Hezinet es un sistema hipermedia adaptativo (sha) para el aprendizaje de euskera basado
Razonamiento mecanizado en álgebra homológica
Tesis doctoral de Jesús María Aransay Azofra En la tesis se aborda el problema de obtener una versión certificada de
Teoria computacional (en pvs) de la programación logica y del analisis formal de conceptos
Tesis doctoral de María Jose Hidalgo Doblado Los objetivos principales de la tesis son la formalización de teorías matemáticas en
Arquitecturas y patrones de diseño para el modelado e integracion de sistemas de informacion heterogeneos. una aproximacion aplicada al contexto de los servicios basados en la localizacion
Tesis doctoral de Pedro Javier Alvarez Perez-aradros Tres tendencias tecnológicas dictan el futuro a corto y medio plazo en el
Desarrollo cocíclico de diseños y aplicaciones
Tesis doctoral de María Dolores Frau Garcia Al amparo de la teoría de perturbación homológica, en este trabajo se establece
Una aproximación para el incremento de la capacidad expresiva de objetos miembro y el rtti de c++ basada en el uso intensivo de plantillas
Tesis doctoral de Juan Valiño García Una de las técnicas más prometedoras para la implantación de sistemas de información consiste
Modelos conceptuales para la interfaz con el usuario.
Tesis doctoral de Ines Escario Jover El proposito de esta memoria es dar una ampliacion de la nocion de modelo
Un modelo para el diseño conceptual de bases de datos: el modelo ean.
Tesis doctoral de Jorge Lloret Gazo Uno de los modelos mas ampliamente usados en la fase de diseño conceptual de
Manipulacion algebraica de series de poisson. aplicacion a la teoria del satelite artificial.
Tesis doctoral de San Juan Diaz Juan Felix La presente memoria aborda el problema de la construccion automatica, mediante calculo