TY  - BOOK
ED  - Conference on Computer Aided Proofs in analysis( 1989 : Cincinnati )
ED  - Conference on Computer Aided Proofs in analysis
TI  - Computer aided proofs in analysis : proceedings
U1  - 519.40285 
PY  - 1991///
CY  - N Y
PB  - Springer Verlag
KW  - Computer science
ER  -