Rodríguez Artalejo, MarioMoreno Navarro, Juan José2023-06-192023-06-192015532496426Xhttps://hdl.handle.net/20.500.14352/39511"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..spadoctoral thesisopen access004.432.4Programación lógica.Logic programming.Matemáticas (Matemáticas)12 Matemáticas