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,Dieter S.Schmidt editors
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Numerical analysis-data processing-congresses
رده :
QA
297
.
C638
3. Computer aided proofs in analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Numerical analysis-- Data processing-- Congresses
رده :
QA
297
.
C638
1991
