| 000 | 00675nam a2200205 a 4500 | ||
|---|---|---|---|
| 001 | 157695 | ||
| 003 | OSt | ||
| 005 | 20220113151221.0 | ||
| 008 | 200624 ### ENG | ||
| 020 | _a9789813270930 | ||
| 082 |
_a004.0151 _bP94P |
||
| 245 |
_aProof and computation : digitization in mathematics, computer science, and philosophy _cedited by Klaus Mainzer, Peter Schuster and Helmut Schwichtenberg |
||
| 260 |
_aNew Jersey _bWorld scientific _c2018 |
||
| 300 | _avii, 291p. | ||
| 653 | _aMathematics--Data processing | ||
| 700 |
_aMainzer, Klaus _eEditor |
||
| 700 |
_aSchuster, Peter _eEditor |
||
| 700 |
_aSchwichtenberg, Helmut _eEditor |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c20027 _d20027 |
||