|
题名:
|
平面几何定理的机器证明 / 孙熙椿著 , |
|
ISBN:
|
7-5435-2980-7 价格： ￥9.50 |
|
语种:
|
chi |
|
载体形态:
|
142页 19cm |
|
出版发行:
|
出版地： 南宁 出版社： 广西教育出版社 出版日期： 1999.12 |
|
中图分类法:
|
O123.1 版次： |
|
主要责任者:
|
孙熙椿 著 |