000			00403nam a22001577a 4500
008			250603b |||||||| |||| 00| 0 eng d
020			_a9789813270930
040			_cPK-GjGUL
082			_a006.3 _bMAI-P
100			_aKlaus Mainzer
245			_aProof and Computation
260			_aSingapore _bWorld Scientific Publishing Co _c2018
300			_a291p.
650			_aComputer Science
942			_2ddc _cBK
999			_c29906 _d29906