TY  - BOOK
A1  - / Kenneth R. Meyer S. Schmidt, Editors
TI  - Computer aided proofs in analysis
PB  - کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان
SN  - 103050979
UR  /book/103050979/Computer-aided-proofs-in-analysis/
ER  -