机读格式显示(MARC)
- 000 00860nam0 2200253 450
- 010 __ |a 978-7-5352-9532-3 |b 精装 |d CNY42.00
- 100 __ |a 20181129d2017 a y0chiy50 ea
- 200 1_ |a 计算机怎样解几何题 |A ji suan ji zen yang jie ji he ti |f 张景中著
- 210 __ |a 武汉 |c 湖北科学技术出版社 |d 2017
- 215 __ |a 154页 |c 图 |d 25cm
- 225 2_ |a 张景中科普文集 |A Zhang Jing Zhong Ke Pu Wen Ji
- 330 __ |a 计算机如何能证明几何定理并发现新的定理呢?是因为人找到了几何解题的规律。跟着书还可以自己动手模拟或实现机器解题。
- 410 _0 |1 2001 |a 张景中科普文集
- 606 0_ |a 自动推理 |A Zi Dong Tui Li |j 少年读物
- 701 _0 |a 张景中 |A zhang jing zhong |4 著
- 801 _0 |a CN |b DQNU |c 20230219
- 905 __ |a DQNU |d TP181-49/Z15 |s 3