机读格式显示(MARC)
- 010 __ |a 978-7-5352-7219-5 |d CNY24.00
- 100 __ |a 20160107d2016 em y0chiy0120 ea
- 200 1_ |a 计算机怎样解几何题 |A Ji Suan Ji Zen Yang Jie Ji He Ti |f 张景中著
- 210 __ |a 武汉 |c 湖北科学技术出版社 |d 2016
- 215 __ |a 154页 |c 图 |d 24cm
- 225 2_ |a 张景中科普文集 |A Zhang Jing Zhong Ke Pu Wen Ji |v No.3
- 330 __ |a 计算机如何能证明几何定理并发现新的定理呢?是因为人找到了几何解题的规律。跟着书还可以自己动手模拟或实现机器解题。
- 410 _0 |1 2001 |a 张景中科普文集 |v No.3
- 606 0_ |a 自动推理 |A Zi Dong Tui Li |j 普及读物
- 701 _0 |a 张景中 |A Zhang Jing Zhong |4 著
- 801 _0 |a CN |b 江苏新华 |c 20150511
- 801 _2 |a CN |b Wuxilib |c 20160419
- 905 __ |a Wuxilib |d TP181/14