Computer aided proofs in analysis
Author(s)
Bibliographic Information
Computer aided proofs in analysis
（The IMA volumes in mathematics and its applications, v. 28）
Springer-Verlag, c1991
- : us
- : gw
Available at / 33 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Cincinnati||1989.490098154
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC19:519.4/M5752070183684
-
No Libraries matched.
- Remove all filters.
Note
"Proceedings of an IMA Participating Institutions (PI) Conference held at the University of Cincinnati in April 1989" -- Foreword
