Repositorio Dspace

Un sistema de tipos recursivos parcialmente ordenado

Un sistema de tipos recursivos parcialmente ordenado

Título: Un sistema de tipos recursivos parcialmente ordenado;
|a Un sistema de tipos recursivos parcialmente ordenado |c tesis que para obtener el grado de Maestro en Ciencias de la Computacion, presenta Juan Manuel Garcia Garcia ; asesor Hanna Oktaba Sossin
García García, Juan Manuel; García García, Juan Manuel::si::SinIdentificador
URI: http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000214591
Fecha: 1994

Mostrar el registro completo del ítem

Ficheros en el ítem

Icon
Nombre: 000214591.mrc
Tamaño: 1.316Kb
Formato: Desconocido
Descripción: Registro bibliográfico ...
Ver/
Thumbnail
Nombre: 0214591.pdf
Tamaño: 2.072Mb
Formato: PDF
Descripción: Texto Completo
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

http://creativecommons.org/licenses/by-nc-nd/4.0 Excepto si se señala otra cosa, la licencia del ítem se describe como http://creativecommons.org/licenses/by-nc-nd/4.0