00832     2200253   4500001002100000005001500021035002000036007000300056008004100059020002300100082001100123084001700134100001800151245012700169250000600296260005600302300004800358500003000406650003000436650002100466700001700487856006300504990001100567INLIS00000000000081920230720033951  a0010-0723000042ta230720                g          0 eng    a7-80003-196-9/0.44  a519.66  a519.66 WEN p0 aWEN-TSUN,  Wu1 aProceedings of the 1992 International workshop on Mathematics Mechanization, July 16-18 ,1992 /cWu Wen-Tsun; Cheng Min-De  a-  aBeijing :bInternational Academic Publishers,c1992  a286 hal :bv, ils.: Lamp ;c17,5 x 24 cme-  aMathematics Mechanization 4aMathematics Mechanization 4aMechanism Design0 aCheng Min-De  aPerpustakaan Balai Besar Pengembangan Mekanisasi Pertanian  a001194