RT Dissertation/Thesis
T1 Una lógica no estandar admisible para programas funcionales
A1 Gil Luezas, Ana
PB Universidad Complutense de Madrid
YR 2015
FD 2015
LK https://hdl.handle.net/20.500.14352/40001
UL https://hdl.handle.net/20.500.14352/40001
LA spa
NO Tesis de la Universidad Complutense de Madrid,Facultad de Ciencias Matemáticas, Departamento de Informática y Automática, leída en Madrid el 3 de febrero de 1990; Dirigida por Teresa Hortalá González.
NO ProQuest
DS Docta Complutense
RD 18 may 2024