Biblioteca Jorge Álvarez Lleras Koha

Vista normal Vista MARC Vista ISBD

Procesador de demostraciones matemáticas. Proofstar / Luisa Fernanda Burgos ... [et. al] - Bogotá: Escuela Colombiana de Ingeniería, 2005 - 133 p.

Tesis (Ingeniero de Sistemas)

Subjects--Topical Terms:
PROOFSTAR --PROCESADOR DE DEMOSTRACIONES MATEMÁTICAS
MATEMÁTICAS --ENSEÑANZA
ESCUELA COLOMBIANA DE INGENIERÍA --TESIS
MATEMÁTICAS --INSTRUMENTOS
TESIS Y DISERTACIONES ACADÉMICAS

Dewey Class. No.: 003 / P762 Ts

Hacer reserva
Imprimir
Agregar a su carrito (remover)
Guardar registro
Más búsquedas
Código QR

Biblioteca Jorge Álvarez Lleras

SERVICIOS

Recursos
electrónicos

Metabuscador

Herramientas
de análisis
e impacto

Gestores
bibliográficos

Repositorio

Oferta académica

Nuestro Campus

Internacionalización

Ayuda