1. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Numerical analysis - Data processing - Congresses
رده :
QA
.
C638
297
1990
2. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer S. Schmidt, Editors
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Numerical analysis-Data processing-Congresses
رده :
QA
297
.
C638
1990
