Procesador de demostraciones matemáticas. Proofstar /
Luisa Fernanda Burgos ... [et. al]
- Bogotá: Escuela Colombiana de Ingeniería, 2005
- 133 p.
Tesis (Ingeniero de Sistemas)
PROOFSTAR --PROCESADOR DE DEMOSTRACIONES MATEMÁTICAS
MATEMÁTICAS --ENSEÑANZA
ESCUELA COLOMBIANA DE INGENIERÍA --TESIS
MATEMÁTICAS --INSTRUMENTOS
TESIS Y DISERTACIONES ACADÉMICAS
003 / P762 Ts
Tesis (Ingeniero de Sistemas)
PROOFSTAR --PROCESADOR DE DEMOSTRACIONES MATEMÁTICAS
MATEMÁTICAS --ENSEÑANZA
ESCUELA COLOMBIANA DE INGENIERÍA --TESIS
MATEMÁTICAS --INSTRUMENTOS
TESIS Y DISERTACIONES ACADÉMICAS
003 / P762 Ts