| 000 | 00759nam a2200229 i 4500 | ||
|---|---|---|---|
| 001 | 16597 | ||
| 005 | 20200720024942.0 | ||
| 010 | _a0-387-97426-1 | ||
| 090 | _a16597 | ||
| 100 | _a20020903 1991 k y0pory50 01 ba | ||
| 200 | 1 |
_aComputer aided proofs in analysis _fKenneth R. Meyer, Dieter S. Schmidt |
|
| 210 |
_aNew York _cSpringer-Verlag _d1991 |
||
| 215 |
_a251 p. _cil. _d25 cm |
||
| 225 | 1 |
_aThe IMA Volumes in Mathematics and its Applications _fAvner Friedman _v28 |
|
| 606 |
_910381 _aMatemática computacional |
||
| 606 |
_912276 _aAnálise numérica |
||
| 606 |
_912917 _aProcessamento de dados |
||
| 675 | _a519.6 | ||
| 606 |
_927581 _aLinguagens de programação |
||
| 700 | 1 |
_aMEYER _bKenneth R. _93409 |
|
| 852 |
_aISEL _bBiblioteca Central _gMEY. _j519.6 |
||
| 942 | _cMO | ||