|
题名:
|
几何定理机器证明的基本原理 Ji He Ding Li Ji Qi Zheng Ming De Ji Ben Yuan Li / 吴文俊著 , |
|
ISBN:
|
价格： ￥2.45 |
|
ISBN:
|
价格： ￥1.75 |
|
语种:
|
chi |
|
载体形态:
|
280页 20厘米 |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 1984.8 |
|
主题词:
|
初等几何 原理 |
|
中图分类法:
|
O18 版次： |
|
中图分类法:
|
O124 版次： |
|
中图分类法:
|
O123 版次： 3 |
|
主要责任者:
|
吴文俊 著 |
|
索书号:
|
O124/1 |