题名:
几何定理机器证明的基本原理:初等几何部分   / 吴文俊著 ,
ISBN:
价格: 1.75
语种:
chi
载体形态:
280 20cm
出版发行:
出版地: 北京 出版社: 科学出版社 出版日期: 1984
中图分类法:
O18 版次:
主要责任者:
吴文俊著
索书号:
8