1. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Numerical analysis - Data processing - Congresses
رده :
QA
.
C638
297
1990
2. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer S. Schmidt, Editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Numerical analysis-Data processing-Congresses
رده :
QA
297
.
C638
1990
3. Computer aided proofs in analysis
پدیدآورنده : Kenneth R.Meyer,Dieter S.Schmidt editors
کتابخانه: (کرمان)
موضوع : Numerical analysis-data processing-congresses
رده :
QA
297
.
C638
