عنوان
پدید آورنده
موضوع
رده
QA 297 .C638
QA
297
.
C638
کتابخانه
محل استقرار
02BL0000000001108
انگلیسی
Computer aided proofs in analysis
Kenneth R.Meyer,Dieter S.Schmidt editors
Newyork
Springer-verlag
1990
251P.: illus,table
1 , 1108 , 2-1
the IMA volumes in mathematics and its applications V.28
Bibliography
Numerical analysis-data processing-congresses
QA
297
.
C638
Computer aided proofs in analysis
AU
AU
Meyer,Kenneth Ray,1937-editor
Schmidt,Dicter S.editor
