Diseño y verificacion de sistemas en lotos
Tesis doctoral de Martin Llamas Nistal Lotos (lenguage of temporal ordering specificaction) es una tecnica de descripcion formal desarrollada para […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
Transformacion y verificacion con lotos
Tesis doctoral de José Juan Pazos Arias El trabajo de la tesis es una contribucion al diseño y desarrollo de
Extension del modelo de van hiele a un ambito diferente de la geometria en niveles educativos elementales.
Tesis doctoral de Llorens Fuster José Luis En la memoria se aborda y se resuelve el problema abierto de la
Analisis y propuesta de un modelo conceptual para la ingenieria grafica
Tesis doctoral de Manuel Perez Vazquez Reflexion y analisis de la situacion actual de la ingenieria grafica, incluyendo una recesion
Diseño e implementacion de un sistema de analisis documental automatico.
Tesis doctoral de Lopez Rincon M. Carmen El proposito del trabajo es el desarrollo de un sistema de analisis documental
Logica temporal y demostracion automatica de teoremas. eficiencia y paralelismo
Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal
El uso retorico de la topica en ciceron.
Tesis doctoral de Jorge Jiménez Leube Estudio del peculiar uso, que de la tópica, hace cicerón. análisis de los conceptos
Un estudio algebraico de las logicas temporales
Tesis doctoral de Francisco Garcia Olmedo En la memoria se efectua un estudio de las algebras temporales. En el mismo
Programacion logica para la gestion de bases de datos relacionales aplicadas a bases de datos lexicas.
Tesis doctoral de Iraola Moreno Luis Oliverio Este trabajo se situa en la zona de confluencia de diversas disciplinas 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