| 000 | 00990 a a2200277 04500 | ||
|---|---|---|---|
| 001 | 11403 | ||
| 008 | 150924b xxu||||| |||| 00| 0 eng d | ||
| 082 | 0 |
_a003 _bP762 Ts |
|
| 245 | 0 |
_aProcesador de demostraciones matemáticas. Proofstar / _cLuisa Fernanda Burgos ... [et. al] |
|
| 260 | 4 |
_aBogotá: _bEscuela Colombiana de Ingeniería, _c2005 |
|
| 300 | 4 | _a133 p. | |
| 502 | _aTesis (Ingeniero de Sistemas) | ||
| 650 |
_923145 _aPROOFSTAR _zPROCESADOR DE DEMOSTRACIONES MATEMÁTICAS |
||
| 650 |
_921787 _aMATEMÁTICAS _zENSEÑANZA |
||
| 650 |
_91283 _aESCUELA COLOMBIANA DE INGENIERÍA _zTESIS |
||
| 650 |
_923144 _aMATEMÁTICAS _zINSTRUMENTOS |
||
| 650 |
_9931 _aTESIS Y DISERTACIONES ACADÉMICAS |
||
| 700 | 4 | 0 |
_aBurgos, Luisa Fernanda _923146 |
| 700 | 4 | 0 |
_aTrujillo, Camilo Andrés _923147 |
| 700 | 4 | 0 |
_aSuárez, Lina Sofia _923148 |
| 700 | 4 | 0 |
_aRojas, Alix Erica _923149 |
| 700 | 4 | 0 |
_aBohórquez, Jaime A. _923150 |
| 700 | 4 | 0 |
_eDir _923151 |
| 942 |
_2ddc _cTE |
||
| 999 |
_c15643 _d15643 |
||