幾何定理機器證明
jihe dingli jiqi zhengming
幾何定理機器證明
mechanical theorem-proving in geometry
?? 參考書目??
吳文俊著：《幾何定理機器證明的基本原理（初等幾何部分）》，科學出版社，北京，1984。
