¥ 6 八五品
仅1件
作者刘叙华,姜云飞
出版社科学出版社
出版时间不详
装帧平装
开本32开
页数280页
上书时间2013-06-20
定理机器证明
九品北京
¥ 8.00
八五品安庆
¥ 18.00
八品遵义
¥ 2.00
八五品佳木斯
¥ 5.00
平面几何定理的机器证明
九品衡水
¥ 7.97
八五品苏州
¥ 4.00
符号逻辑与定理机器证明
九品沈阳
¥ 100.00
九品石家庄
八五品桂林
— 没有更多了 —
以下为对购买帮助不大的评价
以下为对购买帮助不大的评价