-
中文图书1.几何定理计算机证明 O18/S95
馆藏复本:3
可借复本:3 孙熙椿编著
科学出版社 2007
(0) 馆藏 -
中文图书2.几何定理机器证明的基本原理.初等几何部分 O18-39/W95
馆藏复本:3
可借复本:3 吴文俊著
科学出版社 1984
(0) 馆藏 -
中文图书3.几何定理计算机证明 O18/S95#1
馆藏复本:2
可借复本:2 孙熙椿编著
科学出版社 2007
(0) 馆藏 -
中文图书4.计算机怎样解几何题:谈谈自动推理 TP181-49/Z17
馆藏复本:1
可借复本:1 张景中著
暨南大学出版社 2000
(0) 馆藏