机读格式显示(MARC)
- 000 01389nam0 2200253 450
- 010 __ |a 978-7-5088-5550-9 |b 精装 |d CNY188.00
- 100 __ |a 20190711d2019 em y0chiy50 ea
- 200 1_ |a 吴文俊全集 |A Wu Wen Jun Quan Ji |i 数学机械化卷 |h I |b 专著 |d The complete works of Wu Wen-tsun |i Mathematics mechanization |h I |e Mathematics mechanization: machanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving |f 吴文俊著 |z eng
- 210 __ |a 北京 |c 科学出版社 |d 2019
- 215 __ |a 10,414页 |c 照片 |d 24cm
- 330 __ |a 《吴文俊全集·数学机械化I》由吴文俊先生的英文书MathematicsMechanization组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。《吴文俊全集·数学机械化I》由吴文俊先生的英文书MathematicsMechanization组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。
- 510 1_ |a Complete works of Wu Wen-tsun |i Mathematics mechanization |h I |e Mathematics mechanization: machanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving |z eng
- 701 _0 |a 吴文俊 |A Wu Wen Jun |4 著
- 801 _0 |a CN |b LIB |c 20190912
- 905 __ |a LIB |d O1/105:2.1