机读格式显示(MARC)

• 000 01154nam2 2200385 4500

• -01 __gzk0808321

• -09 __zyk0168729

• -98 __bm9

• -99 __tsg

• 001 0000168713

• 005 20070720154443.5

• 010 __ |a 7-03-017862-9 |b 精装 |d CNY55.00

• 094 __ |a

• 100 __ |a 20060104d2006 em y0chiy0110 ea

• 101 __ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a 方程求解与机器证明 |9 fang cheng qiu jie yu ji qi zheng ming |e 基于MMP的问题求解 |f 高小山[等]著 |d

• 205 __ |a

• 210 __ |a 北京 |c 科学出版社 |d 2006

• 215 __ |a 12,279页 |d 24cm

• 225 __ |a 数学机械化丛书 |v 7

• 304 __ |a 著者还有：王定康、裘宗燕、杨宏

• 330 __ |a 本书介绍了数学机械化软件平台MMP的基本功能与使用方法，通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。

• 461 __ |1 001002171715 |1 2001 |a 数学机械化丛书

• 517 __ |a 基于MMP的问题求解 |9 ji yu MMP de wen ti qiu jie

• 606 __ |a 数值计算 |x 应用软件

• 606 __ |a 数值计算

• 606 __ |a 应用软件

• 690 __ |a O122.2 |v 4

• 701 __ |a 高小山 |9 gao xiao shan |4 著

• 801 __ |a CN |b ATSU |c 20070720

• 905 __ |a ASTU |d O122.2/1

• 915 __ |a |b 569443-5 |d O122.2 |e 1 |f 3