Mechanical Theorem Proving in Geometries 吴文俊
几何中的机械定理证明
￥ 40 九品
仅1件
作者吴文俊
出版社不祥
出版时间不详
装帧平装
货号4-1-4
上书时间2024-09-03
商品详情
- 品相描述：九品
相关推荐
-
Symbolic Logic and Mechanical Theorem Proving
八五品上海
￥ 200.00
-
SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING 院士藏书 1609
八五品北京
￥ 22.00
-
SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING 符号逻辑和定理的机器证明（英文版）
八五品武汉
￥ 25.00
-
The Kolob Theorem
九品上海
￥ 160.00
-
The Spectral Theorem
八五品长沙
￥ 80.00
-
interactive theorem proving
八五品南京
￥ 760.00
-
THE PYTHAGOREAN THEOREM
八五品大同
￥ 25.00
-
The spectral theorem
九五品上海
￥ 180.00
-
The Cambridge Theorem
九五品上海
￥ 258.00
-
Symbolic Logic and Mechanical Theorem Proving【符号逻辑和定理的机器证明】内有划线字迹
八五品南京
￥ 15.00
— 没有更多了 —
以下为对购买帮助不大的评价