|
题名:
|
几何定理机器证明的基本原理:初等几何部分 / 吴文俊著 , |
|
ISBN:
|
价格： 1.75 |
|
语种:
|
CHI |
|
载体形态:
|
41 |
|
出版发行:
|
出版地： 出版社： 科学出版社 出版日期： 1984 |
|
中图分类法:
|
TP30/6002 版次： |