Φορτώνει......
Computer aided proofs in analysis
| Άλλοι συγγραφείς: | |
|---|---|
| Μορφή: | Printed Book |
| Έκδοση: |
Springer-Verlag, New York
1990
|
| Θέματα: |
| LEADER | 00486nam a2200169 4500 | ||
|---|---|---|---|
| 082 | |a 004 MEY-C | ||
| 100 | |a Meyer, Kenneth R, |e Editor | ||
| 245 | |a Computer aided proofs in analysis |c Kenneth R Meyer | ||
| 250 | |||
| 260 | |a Springer-Verlag, New York |c 1990 | ||
| 300 | |||
| 490 | |||
| 650 | |a Computer science | ||
| 700 | |e Editor | ||
| 942 | |c BK | ||
| 999 | |c 203308 |d 203308 | ||
| 952 | |0 0 |1 0 |4 0 |6 004_000000000000000_MEYC |7 0 |9 216657 |a MAT |b MAT |l 0 |o 004 MEY-C |p MAT4670 |r 2019-11-01 |w 2019-11-01 |y BK | ||