自动定理证明 (印数3000册)1989年 石纯一
¥ 200 ¥ 3.6 八五品
仅1件
作者石纯一
出版社气象出版社
ISBN9787502902988
出版时间1989-12
版次1
印刷时间1989-12
印次1
印数3千册
装帧平装
定价3.6元
货号郝3
上书时间2024-09-21
基于时序逻辑的Resolution自动定理证明方法
全新广州
¥ 40.43
基于时序逻辑的Resolution自动定理证明方法
全新成都
¥ 38.50
基于时序逻辑的Resolutin自动定理证明方法
全新廊坊
¥ 40.20
基于时序逻辑的Resolution自动定理证明方法
九五品北京
¥ 35.75
定理机器证明
九品北京
¥ 8.00
定理机器证明
八五品安庆
¥ 18.00
定理机器证明
八品遵义
¥ 2.00
定理机器证明
八五品佳木斯
¥ 5.00
《定理机器证明》
八五品武汉
¥ 6.00
基于时序逻辑的Resolution自动定理证明方法(英文版)
全新威海
¥ 37.82
— 没有更多了 —
以下为对购买帮助不大的评价