¥ 128 九品
仅1件
作者CHIN-LIANG CHANG RICHARD CHAR-TUNG LEE
出版社ACADEMIC PRESS
出版时间1973
装帧平装
页数331页
上书时间2023-11-24
符号逻辑和定理的机器证明
七五品重庆
¥ 80.00
符号逻辑和定理的机器证明
八五品南充
¥ 98.00
符号逻辑与定理机器证明
九品沈阳
¥ 100.00
符号逻辑和定理的机器证明(英文版)【16开】
九品郑州
¥ 20.00
SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING 符号逻辑和定理的机器证明(英文版)
八五品武汉
¥ 25.00
Symbolic Logic and Mechanical Theorem Proving【符号逻辑和定理的机器证明】内有划线字迹
八五品南京
¥ 15.00
符号逻辑:语法、语义和证明
九五品重庆
¥ 69.00
符号逻辑:语法、语义和证明
全新长沙
¥ 51.36
符号逻辑:语法、语义和证明
全新无锡
¥ 61.38
符号逻辑:语法、语义和证明
八品合肥
¥ 40.00
— 没有更多了 —
以下为对购买帮助不大的评价