TY  - THES
AU  - Nieva Soto, Susana
A3  - Leach Albert, Javier
PY  - 2015
DO  - 5300098029
UR  - https://hdl.handle.net/20.500.14352/38676
AB  - En la primera parte de la memoria se presenta una logica computacional, que es una logica de predicados con igualdad extendida con polimorfismo y recursion, junto con un sistema de deduccion natural, para esta logica se da una definicion precisa de su...
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Lógica simbólica y matemática
TI  - Una lógica computacional con polimorfismo y recursión y un sistema de deducción automática basado en ella
M3  - doctoral thesis
ER  -