机读格式显示(MARC)

• 000 01033oam2 2200265 450

• 001 0000411693

• 005 20101221144600.0

• 010 __ |a 978-7-03-028377-1 |b 精装 |d CNY65.00

• 100 __ |a 20100916e20101984em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 几何定理机器证明的基本原理 |9 ji he ding li ji qi zheng ming de ji ben yuan li |i 初等几何部分 |f 吴文俊著

• 210 __ |a 北京 |c 科学出版社 |d 1984 |h 2010重印

• 215 __ |a 10,234页 |d 25cm

• 225 2_ |a 中国科学技术经典文库 |i 数学卷

• 330 __ |a 本书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilben机械化定理，第4、5章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理，第6章阐述各种几何的机械化定理。

• 410 _0 |1 2001 |a 中国科学技术经典文库

• 606 0_ |a 几何 |x 定理证明 |x 机器证明

• 690 __ |a O18 |v 4

• 701 _0 |a 吴文俊 |9 wu wen jun |4 著

• 801 _0 |a CN |b SG02 |c 20100916

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

• 905 __ |a Wuxilib |d O18/32