Resultados de la búsqueda : udlap (1) de 1 a 1
Lista de recursos ordenados por fecha (relevancia, fecha, autor, institución, tipo, título)ascendente - descendente
mostrando 25 (25, 50, 100, 200 )
Filtro: 1996 (quitar)
Anterior - Siguiente
-
Tesis de Licenciatura
"Implementación de un analizador sintáctico en la teoría de tipos de Martin-Löf"
Acosta Guadarrama, Juan Carlos.
UDLAP (1996)
http://catarina.udlap.mx/u_dl_a/tales/documentos/lis/acosta_g_jc/