几何定理机器证明的基本原理:初等几何部分
Saved in:
Main Authors: | |
---|---|
Published: |
科学出版社
|
Publisher Address: | 北京 |
Publication Dates: | 1984 |
Literature type: | Book |
Language: | Chinese |
Series: |
计算机科学丛书 |
Subjects: | |
Carrier Form: | 280页: ; 20cm |
Index Number: | O18 |
CLC: | O18 |
Call Number: | O18/6802 |