机读格式显示(MARC)

• 000 01034cam a2200325 a 4500

• 001 0000370101

• 003 CAL

• 005 20191230153800.0

• 008 190906s2019 cc a b 001 0 eng d

• 020 __ |a 9787508855516 |q hardback |c CNY158.00

• 040 __ |a JNU |c JNU |d JNU

• 041 0_ |a eng |b chi

• 090 __ |a O1-53/E2-2

• 093 __ |a O1-53 |2 5

• 099 __ |a CAL 022019077479

• 100 1_ |a Wu, Wen-tsun |9 (吴文俊) |e author.

• 245 14 |a The Complete Works of Wu Wen-tsun, |p Mathematics mechanization |n Ⅱ= 吴文俊全集, 数学机械化卷，Ⅱ/ |c 吴文俊著 ; 高小山编订.

• 246 31 |a 吴文俊全集，数学机械化卷 |n Ⅱ

• 260 __ |a 北京 : |b 科学出版社, |c 2019.

• 300 __ |a 288 pages: |b ill. ; |c 25 cm.

• 336 __ |a text |2 rdacontent

• 337 __ |a unmediated |2 rdamedia

• 338 __ |a volume |2 rdacarrier

• 500 __ |a 国家出版基金项目

• 504 __ |a Includes bibliographical references (pages [395]-405)and index.

• 546 __ |a Editor's Preface in Chinese.

• 650 _0 |a Mathematical.

• 700 1_ |a Gao, Xiaoshan |9 (高小山)

• 920 __ |a 261060 |z 1

• 998 __ |a JNU