院士分类

题名：几何定理机器证明的基本原理：初等几何部分
著者：吴文俊著
著者单位/学院（系）：其他
著者学系：中国科学院
出版地：北京
出版者：科学出版社
出版时间：1984
文库排架号：80/6002/1984
资源类型：图书