机读格式显示(MARC)
- 000 01166cam 2200301 a 45x0
- 008 990513s2000 cc a b 001 0 eng
- 020 __ |a 079235835X (hardcover : alk. paper : Kluwer)
- 040 __ |a DLC |c DLC |d C#P
- 050 00 |a QA76.9.A96 |b W8 2000
- 099 __ |a CAL 022002240917 |a CAL 022002082099
- 245 10 |a Mathematics mechanization : |b mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving / |c by Wu Wen-tsun.
- 260 __ |a Beijing : |b Science Press ; |a Dordrecht ; |a Boston : |b Kluwer Academic Publishers, |c c2000.
- 300 __ |a xii, 420 p. : |b ill. ; |c 25 cm.
- 490 1_ |a Mathematics and its applications ; |v v. 489
- 504 __ |a Includes bibliographical references (p. [392]-402) and index.
- 650 _0 |a Automatic theorem proving.
- 650 _0 |a Equations |x Numerical solutions.
- 650 _0 |a Artificial intelligence.
- 830 _0 |a Mathematics and its applications (Kluwer Academic Publishers) ; |v v. 489.
- 950 __ |a JHUL |b O18 |c W959