عنوان
پدید آورنده
موضوع
رده
QA 1 .I52 v.28
QA
1
.
I52
v
.
28
کتابخانه
محل استقرار
English
Computer aided proofs in analysis
New York
Springer-Verlag
1991
251 p. : ill. ; 24 cm
The IMA volumes in mathematics and its applications, v. 82
Proceedings of an IMA Participating Institutions )PI( Conference held at the University of Cincinnati in April 1989--Foreword
Includes bibliographical references and index
Includes bibliographical references
Kenneth R. Meyer, Dieter S. Schmidt, editors
1
Data processing - Congresses ، Numerical analysis
QA
1
.
I52
v
.
28
CA
519
.
4/0285
TI
AU Meyer, Kenneth Ray 1937-
AU Schmidt, Dieter S.
CO IMA Participating Institutions Conference, University of Cincinnati(, )9891
SE
