TY  - BOOK
AU  - Meyer Kenneth R
AU  - Dieter S.Schmidt
TI  - Computer Aided Proofs in Analysis
PY  - 1991///
CY  - New York
PB  - Springer Verlag
ER  -