000 00802nam-a2200217---4500
001 143378
005 20200804125537.0
010 _a0-387-97426-1
_b(Encadernado)
090 _a143378
100 _a19980408d1991 k y0pory5003 ba
101 0 _aeng
102 _aUS
200 1 _aComputer aided proofs in analysis
_fed. Kenneth R. Meyer, Dieter S. Schmidt
210 _aNew York
_cSpringer-Verlag
_dcop. 1991
215 _aXIII, 251 p.
_cil.
_d24 cm
225 2 _aThe IMA volumes in mathematics and its applications
_v28)
675 _a519.6
_vint
_zeng
702 1 _9118779
_aMeyer,
_bKenneth Ray
_f1937-
_4340
702 1 _9159591
_aSchmidt,
_bDieter S.
_4340
942 _cLIVRO
_n0