平面几何定理的机器证明孙熙椿

• 选择标签：其他
• 出版时间：1999-12-01
• ISBN：9787543529809
• 出版社：广西教育出版社
• 作者：孙熙椿