题名:
几何定理机器证明的基本原理（初等几何部分）
/ 吴文俊, ,
ISBN:
0 价格： 1.75
载体形态:
280页 19cm
出版发行:
出版地： 北京 出版社：
科学出版社
出版日期： 0
中图分类法:
0 版次：