TY  - BOOK
A1  - / Kenneth R. Meyer, Dieter S. Schmidt, editors
TI  - Computer aided proofs in analysis
PB  - كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين
SN  - 101490028
UR  /book/101490028/Computer-aided-proofs-in-analysis/
ER  -