| 000 | 01004nam a2200301 a 4500 | ||
|---|---|---|---|
| 008 | |||
| 020 | _a9780127347608 (hardback) | ||
| 040 |
_aNUST _cNUST |
||
| 049 | _aMAIN | ||
| 090 |
_aQA218 _bMAT |
||
| 245 | 1 | 0 |
_aMathematics mechanization and applications/ _cedited by Xiao-Shan Gao and Dongming Wang. |
| 260 |
_aSan Diego : _bAcademic Press , _c2000. |
||
| 300 |
_axix, 551 pages : _billustrations ; _c27 cm. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 500 | _aIncludes index. | ||
| 504 | _aIncludes bibliographical references. | ||
| 650 | 1 | _aAutomatic theorem proving. | |
| 650 |
_aEquations _xNumerical solutions _vData processing. |
||
| 650 | _aProgramming (Mathematics). | ||
| 700 |
_aGao, Xiao-Shan., _eeditor. |
||
| 700 |
_aWang, Dongming., _eeditor. |
||
| 907 |
_a.b10400710 _b13-07-21 _c09-04-21 |
||
| 003 | |||
| 005 | 20230123141212.0 | ||
| 942 |
_cBOOKS _kQA218 _mMAT |
||
| 999 |
_c169434 _d169434 |
||