Computer aided proofs in analysis
著者
書誌事項
Computer aided proofs in analysis
(The IMA volumes in mathematics and its applications, v. 28)
Springer-Verlag, c1991
- : us
- : gw
大学図書館所蔵 件 / 全33件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Proceedings of an IMA Participating Institutions (PI) Conference held at the University of Cincinnati in April 1989" -- Foreword