Una lógica no estandar admisible para programas funcionales

Thumbnail Image

Download

Download 5304845233.pdf (3.45 MB)

Official URL

Full text at PDC

Publication date

2015

Defense date

1990

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Universidad Complutense de Madrid
Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/40001

Citation

Abstract

Research Projects

Organizational Units

Journal Issue

Description

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.

UCM subjects

Matemáticas (Matemáticas)

Unesco subjects

12 Matemáticas

Keywords

Collections

Tesis Doctorales