| 000 | 00673nam a2200181 a 4500 | ||
|---|---|---|---|
| 008 | 120416s2000 ||||||||||||||||| || u | ||
| 020 | _a0127347607 | ||
| 050 | _aQA 71 Mat | ||
| 100 | _aGao, Xiao-Shan | ||
| 245 | 1 | 0 |
_aMathematics mechanization and applications _cedited Xiao-Shan Gao |
| 260 |
_aSan Diego: _bAcademic Press _c2000 |
||
| 300 | _axix, 551p. : ill. | ||
| 350 | _a0.00 | ||
| 650 | _aAUTOMATIC THEOREM PROVING | ||
| 650 | _aEQUATIONS--NUMERICAL SOLUTIONS--DATA PROCESSING | ||
| 700 | _aWang, Dongming | ||
| 995 |
_D0.00 _FCBU-MAIN LIBRARY (Kitwe) _H1 _I40.00 _M1 _UAVAILABLE _ZAnnex Low-Usage Collection |
||
| 999 |
_c50737 _d50737 |
||