TY  - GEN
AU  - Delgado Muñoz, Agustín Daniel
AU  - Novillo Vidal, Álvaro
AU  - Pérez Morente, Fernando
A4  - López Fraguas, Francisco Javier
PY  - 2009
UR  - https://hdl.handle.net/20.500.14352/54459
AB  - En este proyecto se ha desarrollado la herramienta de demostración automática interactiva de teoremas DATEM (Demostrador Automático  Interactivo por Eliminación de Modelos) en el lenguaje de programación lógica Prolog. Mediante esta herramienta es...
LA  - spa
KW  - Demostración automática de teoremas
KW  - Eliminación de modelos
KW  - Cláusulas de Horn
KW  - Lógica de primer orden
KW  - Programación lógica
KW  - Prolog
KW  - XPCE.
TI  - Implementación de un demostrador automático de teoremas interactivo mediante el método de eliminación de modelos
TY  - coursework
ER  -