Una lógica para programación lógica
dc.contributor.advisor | Rodríguez Artalejo, Mario | |
dc.contributor.author | Moreno Navarro, Juan José | |
dc.date.accessioned | 2023-06-19T19:37:48Z | |
dc.date.available | 2023-06-19T19:37:48Z | |
dc.date.defense | 1985 | |
dc.date.issued | 2015 | |
dc.description | "Trabajo presentado por el autor en la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid para acceder al grado de Licenciado" Universidad Complutense de Madrid. Facultad de Ciencias Matemáticas.. | |
dc.description.faculty | Fac. de Ciencias Matemáticas | |
dc.description.refereed | TRUE | |
dc.description.sponsorship | ProQuest | |
dc.description.status | pub | |
dc.eprint.id | https://eprints.ucm.es/id/eprint/54154 | |
dc.identifier.doi | 532496426X | |
dc.identifier.uri | https://hdl.handle.net/20.500.14352/39511 | |
dc.language.iso | spa | |
dc.page.total | 175 | |
dc.publication.place | Madrid | |
dc.publisher | Universidad Complutense de Madrid | |
dc.rights.accessRights | open access | |
dc.subject.cdu | 004.432.4 | |
dc.subject.keyword | Programación lógica. | |
dc.subject.keyword | Logic programming. | |
dc.subject.ucm | Matemáticas (Matemáticas) | |
dc.subject.unesco | 12 Matemáticas | |
dc.title | Una lógica para programación lógica | |
dc.type | doctoral thesis | |
dspace.entity.type | Publication | |
relation.isAdvisorOfPublication | acbb06e2-ae29-4730-b16c-4187fbf92a2f | |
relation.isAdvisorOfPublication.latestForDiscovery | acbb06e2-ae29-4730-b16c-4187fbf92a2f |
Download
Original bundle
1 - 1 of 1