名 称：
基于时序逻辑的Resolution自动定理证明方法
作 者：
出 版 社：
I S B N：
9787563832668
出版日期：
2021年09月
定价：
￥55.00
售价：
￥22.00
优惠活动：
0元包邮！
送2200积分[详细介绍]
购满0.1元免运费！
领券
领取新人5元无门槛优惠券领取新人5元优惠券
邀请好友得无门槛5元优惠券
分享图书领10%佣金，无上限
数 量：
有路自营缺货
图书详情
有1家店铺正在出售这本书更多
拾光
