RT Dissertation/Thesis T1 Una lógica para programación lógica A1 Moreno Navarro, Juan José PB Universidad Complutense de Madrid YR 2015 FD 2015 LK https://hdl.handle.net/20.500.14352/39511 UL https://hdl.handle.net/20.500.14352/39511 LA spa NO "Trabajo presentado por el autor en la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid para acceder al grado de Licenciado" Universidad Complutense de Madrid. Facultad de Ciencias Matemáticas.. NO ProQuest DS Docta Complutense RD 15 abr 2025