Una lógica no estandar admisible para programas funcionales

Simple item page
dc.contributor.advisorHortalá González, María Teresa
dc.contributor.authorGil Luezas, Ana
dc.date.accessioned2023-06-19T21:22:53Z
dc.date.available2023-06-19T21:22:53Z
dc.date.defense1990
dc.date.issued2015
dc.descriptionTesis 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.
dc.description.departmentSección Deptal. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Ciencias Matemáticas
dc.description.refereedTRUE
dc.description.sponsorshipProQuest
dc.description.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/52002
dc.identifier.doi5304845233
dc.identifier.urihttps://hdl.handle.net/20.500.14352/40001
dc.language.isospa
dc.page.total184
dc.publication.placeMadrid
dc.publisherUniversidad Complutense de Madrid
dc.rights.accessRightsopen access
dc.subject.cdu510.223(043.2)
dc.subject.keywordAnálisis matemático no standard.
dc.subject.keywordProgramación lógica.
dc.subject.ucmMatemáticas (Matemáticas)
dc.subject.unesco12 Matemáticas
dc.titleUna lógica no estandar admisible para programas funcionales
dc.typedoctoral thesis
dspace.entity.typePublication
relation.isAdvisorOfPublication928f540d-d7a0-4631-ba42-bfd12b3d479d
relation.isAdvisorOfPublication.latestForDiscovery928f540d-d7a0-4631-ba42-bfd12b3d479d
relation.isAuthorOfPublicationa6f10f50-f361-460c-8fc5-32d073ec621d
relation.isAuthorOfPublication.latestForDiscoverya6f10f50-f361-460c-8fc5-32d073ec621d

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
5304845233.pdf
Size:
3.45 MB
Format:
Adobe Portable Document Format
Download Download

Collections

Tesis Doctorales