符号逻辑和定理的机器证明(英文版)
¥ 20 九品
仅1件
作者Richard Char-Tung Lee
出版社Richard Char-Tung Lee
出版时间1973
印刷时间1973
装帧平装
纸张胶版纸
页数331页
货号QQ3
上书时间2023-10-24
符号逻辑和定理的机器证明
七五品重庆
¥ 80.00
符号逻辑和定理的机器证明
八五品南充
¥ 98.00
符号逻辑与定理机器证明
九品沈阳
¥ 100.00
符号逻辑和定理的机器证明(英文版)影印
九品南京
¥ 128.00
SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING 符号逻辑和定理的机器证明(英文版)
八五品武汉
¥ 25.00
Symbolic Logic and Mechanical Theorem Proving【符号逻辑和定理的机器证明】内有划线字迹
八五品南京
¥ 15.00
符号逻辑:语法、语义和证明
九五品银川
¥ 69.00
符号逻辑:语法、语义和证明
全新长沙
¥ 54.13
符号逻辑:语法、语义和证明
全新无锡
¥ 61.38
符号逻辑:语法、语义和证明
八品合肥
¥ 40.00
— 没有更多了 —
以下为对购买帮助不大的评价