几何定理机器证明的几何不变量方法(精)/数学机械化丛书
¥89.60定价:¥128.00 (7折)
博库图书专营店
张景中//高小山//周咸青|总主编:吴文俊 /2015-04-01 /科学
加入购物车收藏
九层图书专营店
¥96.00定价:¥128.00 (7.5折)
木垛图书专营店
¥88.32定价:¥128.00 (6.9折)
浙江出版集团图书专营店