商家列表
基于时序逻辑的Resolution自动定理证明方法
价格区间
全部在售商家(1)
规格参数
基于时序逻辑的Resolution自动定理证明方法
￥30.00
￥55
江莱图书专营店
Akka实战
￥
63.23
查看全部商家报价
微信小程序开发(成都中慧科技有限公司校企合作系列教材)/新一代信息软件技术丛书
￥
49.04
查看全部商家报价
5G信道编译码：算法与实现
￥
103.50
查看全部商家报价
Python GUI开发手册 基础·实战·强化
￥
71.68
查看全部商家报价
Office高级应用案例教程(2016版)/新应用真实战全案例信息技术应用新形态立体化丛书
￥
46.78
查看全部商家报价
C语言程序设计实例教程:慕课版
￥
39.54
查看全部商家报价
热门搜索
