TY  - THES
AU  - Moreno Navarro, Juan José
A3  - Rodríguez Artalejo, Mario
PY  - 2015
DO  - 532496426X
UR  - https://hdl.handle.net/20.500.14352/39511
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Programación lógica.
KW  - Logic programming.
TI  - Una lógica para programación lógica
M3  - doctoral thesis
ER  -