Items de ésta Colección (Ordenados por Fecha Publicación en orden Descendente): 221 al 224 de 224

Fecha de publicación	Título	Autor(es)
2000	Diseño topológico de redes : casos de estudio :"The generalized Steiner problem"and "The Steiner 2-edge-connected subgraph problem"	Robledo, Franco
1997	Typed windows : an implementation of a programming language for graphics design. Master Thesis	Queirolo, Pablo J
1995	A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis	Bove, Ana
1991	Course-of-values recursion in Martin-Löf's type theory	Peratto, Patricia