在图书中搜索关键词张景中，高小山，周咸青，共找到相关结果1本相关图书

几何定理机器证明的几何不变量方法

出版时间： 2015年05月

定       价： 128.00

I  S B  N ：9787030440662

作       者：张景中，高小山，周咸青

出  版  社：科学出版社