返 回商品信息 导航
基于时序逻辑的Resolution自动定理证明方法
作       者:

章岚 

出  版 社:

首都经济贸易大学出版社 

  I S B N:

9787563832668 

出版日期:

2021年09月 

定       价:

￥55.00

售       价:

￥37.00

注：您当前是在入驻店铺购买。
数       量:

— + 库存1件

关于库存、售价、配送费等信息建议联系店主咨询

本店已缴纳保证金,请放心购买!
客服
进店

购物车

内容提要

图书目录

作者介绍

客服咨询