Proceedings of the 1992 International workshop on Mathematics Mechanization, July 16-18 ,1992

Proceedings of the 1992 International workshop on Mathematics Mechanization, July 16-18 ,1992 WEN-TSUN, Wu text Beijing International Academic Publishers 1992 - eng 286 hal : v, ils.: Lamp ; 17,5 x 24 cm - Wu Wen-Tsun; Cheng Min-De Mathematics Mechanization Mathematics Mechanization Mechanism Design 519.66 519.66 WEN p 7-80003-196-9/0.44 230720 20230720033951 INLIS000000000000819 Converted from MARCXML to MODS version 3.5 using MARC21slim2MODS3-5.xsl (Revision 1.106 2014/12/19)