|
题名:
|
几何定理机器证明的基本原理 ji he ding li ji qi zheng ming de ji ben yuan li / 吴文俊著 , |
|
ISBN:
|
价格： ￥1.75 |
|
语种:
|
chi |
|
载体形态:
|
280页 20cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 1984 |
|
主题词:
|
几何-定理证明:机器证明 |
|
主题词:
|
定理证明:机器证明-几何 |
|
主题词:
|
机器证明:定理证明-几何 |
|
中图分类法:
|
O18 版次： 3 |
|
中图分类法:
|
TP399 版次： |
|
主要责任者:
|
吴文俊 wu wen jun 著 |
|
索书号:
|
TP399/6043 |