机读格式显示(MARC)
- 000 01330nam2 2200385 4500
- 010 __ |a 7-03-017862-9 |b 精装 |d CNY55.00
- 035 __ |a (110019)012006101821
- 100 __ |a 20071015d2006 em y0chiy0110 ea
- 200 1_ |a 方程求解与机器证明 |9 fang cheng qiu jie yu ji qi zheng ming |e 基于MMP的问题求解 |f 高小山,王定康,裘宗燕著
- 210 __ |a 北京 |c 科学出版社 |d 2006
- 215 __ |a 12,279页 |d 25cm
- 225 2_ |a 数学机械化丛书 |v 7 |9 shuxuejixiehuacongshu
- 300 __ |a 其他题名:基于MMP的问题求解
- 330 __ |a 本书介绍了数学机械化软件平台MMP的基本功能与使用方法,通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。
- 461 _0 |1 2001 |a 数学机械化丛书 |v 7
- 517 1_ |a 基于MMP的问题求解 |9 ji yu MMP de wen ti qiu jie
- 606 0_ |a 方程解 |A fangchengjie
- 701 _0 |a 高小山 |9 gao xiao shan |4 著
- 701 _0 |a 王定康 |9 wang ding kang |4 著
- 701 _0 |a 裘宗燕 |9 qiu zong yan |4 著
- 801 _0 |a CN |b 110019 |c 20061020
- 801 _2 |a CN |b 261060 |c 20071016
- 905 __ |a XATU |d O122.2/4
- 995 __ |a 261060 |f O122.2/4
- 999 __ |t C |A shenxy |a 20071015 15:09:32 |I shenxy |i 20071016 09:01:05 |G shenxy |g 20071016 09:02:0