Razonamiento mereotopológico automatizado para la depuración de ontologías
Tesis doctoral de Chávez González Antonia María La memoria se enmarca dentro del campo de la verificación de bases de […]
Tesis doctoral de Joaquin Borrego Diaz
Información academica Joaquin Borrego Diaz. Tesis donde Joaquin Borrego Diaz ha sido autor, director o parte del tribunal.
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
Modelos de induccion acotada.
Tesis doctoral de Joaquin Borrego Diaz Entre los nuevos resultados que se obtienen en este trabajo caben destacar: – relaciones