题名:	几何定理机器证明的基本原理：初等几何部分 / 吴文俊著 ,
中图分类法:	O18 版次：
索书号:	O18/2602