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