吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥101.12定价:¥128.00 (7.9折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥101.12定价:¥128.00 (7.9折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥88.32定价:¥128.00 (6.9折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥89.17定价:¥128.00 (6.97折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥88.32定价:¥128.00 (6.9折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥101.12定价:¥128.00 (7.9折)
吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)
¥89.37定价:¥128.00 (6.99折)