RT Dissertation/Thesis
T1 Una lógica trivalorada para funciones recursivas parciales
A1 Gavilanes Franco, Antonio
PB Universidad Complutense de Madrid
YR 2015
FD 2015
LK https://hdl.handle.net/20.500.14352/39999
UL https://hdl.handle.net/20.500.14352/39999
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 Mario Rodríguez Artalejo.
NO ProQuest
DS Docta Complutense
RD 8 may 2024