Su búsqueda retornó 8 resultados.

Ordenar
Resultados
1.
Verificación formal de programas por En: Noos (nro. 5, Jun. 1998), p. 99-106S.T.:H(066) UNCOL PP4221
Disponibilidad: No hay ítems disponibles.

2.
Preservación de pullbacks débiles por el funtor conjunto de partes por En: Noos (nro. 9, Jun. 1999), p. 45-52S.T.:H(066) UNCOL PP4222
Disponibilidad: No hay ítems disponibles.

3.
Una demostración de la fórmula utilizando sumas de Riemann por En: Noos (nro. 9, Jun. 1999), p. 101-114S.T.:H(066) UNCOL PP4222
Disponibilidad: No hay ítems disponibles.

4.
Generalización del volumen de una n-esfera por En: Noos (nro. 10, Mar. 2000), p. 17-23S.T.:H(066) UNCOL PP4223
Disponibilidad: No hay ítems disponibles.

5.
Categorías que pueden ser consideradas como categorías de funtores a conjuntos por En: Noos (nro. 10, Mar. 2000), p. 104-114S.T.:H(066) UNCOL PP4223
Disponibilidad: No hay ítems disponibles.

6.
7.
Sumabilidad de series reales por medio de residuos por En: Noos (nro. 15, May. 2002), p. 43-48S.T.:H(066) UNCOL PP4225
Disponibilidad: No hay ítems disponibles.

8.
Páginas