登录|免费注册 下载博库APP

联系客服 | 店铺管理 | 收藏夹 |

我的博库 我的订单 我的优惠券 我的收藏 我的收入 官方消息

所有商品分类
文学艺术
少儿童书
人文社科
经管励志
生活时尚
科技教育
影音原版
首页 新品 限时购 排行榜 | 图书馆 追书者

您的当前位置：全部分类 ＞ 图书 > 计算机网络 > 程序设计 > 其它语言

基于时序逻辑的Resolution自动定理证明方法(英文版)

作者：章岚|责编:浩南 出版社：首都经贸
定　价 55.00
售　价
配送至
浙江杭州
运费5元，满59包邮！
收货地址
其他地址
请选择
请选择
请选择
北京
天津
河北
山西
内蒙古
辽宁
吉林
黑龙江
上海
江苏
浙江
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
重庆
四川
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
销量 请登录后刷新查看
库存 请登录后刷新查看

收藏

服务
大家都在看
新品推荐
Rust并发编程实战
¥64.24 | ¥88.00
算法设计与分析——C++语言描述(第4版)
¥55.89 | ¥69.00
Java面向对象程序设计：AI大模型给程序员插上翅膀
¥69.30 | ¥99.00
整理优先：小改进，大回报，整洁代码设计指南
¥36.75 | ¥49.00
C++编程之禅:从理论到实践
¥151.20 | ¥189.00
Java网络爬虫精解与实践
¥71.20 | ¥89.00
  • 包装：平装
  • 出版社：首都经贸
  • ISBN：9787563832668
  • 作者：章岚|责编:浩南
  • 页数：225
  • 出版日期：2021-08-01
  • 印刷日期：2021-08-01
  • 开本：16开
  • 版次：1
  • 印次：1
  • 字数：253千字
购物车

  • 手机博库

    下载手机客户端

  • 关注微信

    关注官方微信

服务热线 0571-26306883

服务时间 工作日9：00-21：00

©Copyright 2005-2020 网站备案号：浙ICP备2022015799号

增值电信业务经营许可证:浙B2-2011021 bookuu.com 版权所有

出版物经营许可证新出发浙批字第18007号