机读格式显示(MARC)

• 000 01259nam 2200289 450

• 001 0000800598

• 005 20180306135300.0

• 010 __ |a 978-7-5352-9532-3 |b 精装 |d CNY42.00

• 100 __ |a 20170926d2017 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 420000

• 105 __ |a a a 000yy

• 106 __ |a r

• 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

• 320 __ |a 有书目

• 330 __ |a 本文集共18册，包含了作者从上世纪八十年代以来三十多年间的数学科普作品。计算机如何能证明几何定理并发现新的定理呢？是因为人找到了几何解题的规律。跟着书还可以自己动手模拟或实现机器解题。本丛书力求形成直白通俗与含蓄深奥的完美结合，让读者容易进入而难于舍弃。

• 333 __ |a 它可以当作休闲娱乐的书籍随便翻翻，有助于排遣工作疲劳；也可以作为教师的参考资料，有助于活跃课堂气氛，启迪学生心智；还可以作为学生的课外读物，有助于开阔眼界、增长知识、锻炼逻辑思维能力。

• 410 _0 |1 2001 |a 张景中科普文集

• 606 0_ |a 自动推理 |A zi dong tui li |j 少年读物

• 690 __ |a TP181 |v 5

• 701 _0 |a 张景中 |A zhang jing zhong |4 著

• 801 _0 |a CN |b 江苏新华 |c 20171127

• 801 _2 |a CN |b Wuxilib |c 20180306

• 905 __ |a Wuxilib |d TP181/28