吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥79.30定价：¥128.00 (6.2折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥79.30定价：¥128.00 (6.2折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥78.72定价：¥128.00 (6.15折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥78.72定价：¥128.00 (6.15折)
中国数学史论文集.三【正版书籍,现货速发,可开电子发票】 线上线下同步销售，请咨询客服查询库存后下单，避免纠纷。
本书收入中国古代近代数学、外国数学史和中外比较数学史方面的研究论文共14篇。
¥141.05定价：¥353.00 (4折)
¥138.00定价：¥148.00 (9.33折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥79.30定价：¥128.00 (6.2折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥78.72定价：¥128.00 (6.15折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥79.30定价：¥128.00 (6.2折)
