| dc.contributor.author | Acosta Guadarrama, Juan Carlos | |
| dc.date.accessioned | 2018-07-19T18:10:34Z | |
| dc.date.available | 2018-07-19T18:10:34Z | |
| dc.date.issued | 1996-12-16 | |
| dc.identifier.issn | 4031030718191 | |
| dc.identifier.uri | http://repositorio.udlap.mx/xmlui/handle/123456789/11265 | |
| dc.title | Implementación de un analizador sintáctico en la teoría de tipos de Martin-Löf | |
| dc.type | Tesis de Licenciatura |
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||