Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | SEDICI | - |
| dc.contributor | Martínez López, Pablo E. | - |
| dc.contributor | Baum, Gabriel Alfredo | - |
| dc.creator | Badenes, Hernán | - |
| dc.date | 2003 | - |
| dc.date.accessioned | 2019-06-19T20:07:44Z | - |
| dc.date.available | 2019-06-19T20:07:44Z | - |
| dc.date.issued | 2003 | - |
| dc.identifier | http://sedici.unlp.edu.ar/handle/10915/3893 | - |
| dc.identifier | http://hdl.handle.net/10915/3893 | - |
| dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/325431 | - |
| dc.description | This is an undergraduate thesis to obtain the degree of Licentiate in Computer Science in University of La Plata, Argentina. Since by standing rules of the institution this work must be presented in Spanish, the author would like to cross-refer the reader to a shorter English version of this work [Martinez Lopez and Badenes, 2003], that is being published in the Proceedings of the VII Argentinian Workshop on Theoretical Computer Science (WAIT 2003, Buenos Aires, September 2003). There, the core chapters of this work (Simplification, chapter 2, and Solving, chapter 3) are included (with a lower level of detail). In any case, we give an English introduction for better understanding the scope of this work. | - |
| dc.description | Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática. | - |
| dc.description | Facultad de Informática | - |
| dc.format | application/pdf | - |
| dc.format | 118 p. | - |
| dc.language | spa | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.rights | http://creativecommons.org/licenses/by/4.0/ | - |
| dc.rights | Creative Commons Attribution 4.0 International (CC BY 4.0) | - |
| dc.source | reponame:SEDICI (UNLP) | - |
| dc.source | instname:Universidad Nacional de La Plata | - |
| dc.source | instacron:UNLP | - |
| dc.source.uri | http://sedici.unlp.edu.ar/handle/10915/3893 | - |
| dc.source.uri | http://hdl.handle.net/10915/3893 | - |
| dc.subject | Ciencias Informáticas | - |
| dc.subject | aplicaciones informáticas | - |
| dc.subject | Automatic Programming | - |
| dc.subject | PROGRAMMING TECHNIQUES | - |
| dc.title | Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados | - |
| dc.type | info:eu-repo/semantics/bachelorThesis | - |
| dc.type | info:eu-repo/semantics/acceptedVersion | - |
| dc.type | Tesis de grado | - |
| dc.type | info:ar-repo/semantics/tesisDeGrado | - |
| Aparece en las colecciones: | Universidad Nacional de la Plata. SEDICI | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.