平面几何定理的机器证明

孙熙椿

Book 1 of 走向科学的明天丛书

Language: Chinese

Publisher: 广西教育出版社

Published: Nov 30, 1999