TY  - THES 
A3  - Medina Moreno, Jesús
AU  - Torné Zambrano, José Antonio
A4  - Matemáticas
PY  - 2025
UR  - http://hdl.handle.net/10498/37158
AB  - La Programación Lógica nació a partir de los trabajos realizados en demostración automática de teoremas e inteligencia artificial a principios de la segunda mitad del siglo XX, entre los que destacó el trabajo de Robinson, donde introdujo una regla de...
LA  - spa
TI  - Operador de consecuencias extendido por agregadores formales para modelar bases de datos con incertidumbre
M3  - doctoral thesis
ER  -