题名:
几何定理机器证明的几何不变量方法
/ 张景中, 高小山, 周咸青著 ,
ISBN:
978-7-03-044066-2 价格：
语种:
CHI
出版发行:
出版地： 出版社：
科学出版社
出版日期： 2015
中图分类法:
O18 版次：