Un sistema de tipos recursivos parcialmente ordenado

Detalles Bibliográficos
Autor principal:	García García, Juan Manuel
Otras Contribuciones:	Oktaba, Hanna (Asesor)
Formato:	Tesis de maestría
Publicado:	México 1994
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000214591 https://tesiunamdocumentos.dgb.unam.mx/pmig2016/0214591/Index.html

Descripción
Descripción no disponible.

Ejemplares similares