Analytic and 海外直订Automated 基于分析表 Reasoning Tableaux R... with 自动推理及相关方法
券后¥621
最近售0件
Protocol Theory for Reasoning Issues 安全协议分析 海外直订Automated and Security the Analysis 自动推理和安
券后¥664
最近售0件
Inference for 自动推理 一般推理 海外直订Generic Theory Automated Reasoning Unifying 统一理论
券后¥1274
最近售0件
4
海外直订Handbook Reasoning Volume Automated 自动推理手册
30元
券后¥2622¥2622.00
5
Logic 海外直订Handbook Reasoning and Automated Practical 实用逻辑和自动推理手册
30元
券后¥1551¥1551.00
6
海外直订Handbook Reasoning Volume Automated 自动推理手册
30元
券后¥3309¥3309.00
7
Honor Reasoning Bledsoe 海外直订Automated 自动推理：纪念伍迪·布莱索 Essays Woody 文章
30元
券后¥1193¥1193.00
8
Reasoning Ijcar Conference International 海外直订Automated 自动推理 Second 2004 Cork Joint 第二届国际联席会
30元
券后¥1193¥1193.00
9
Reasoning Conference 自动推理 Seattle 海外直订Automated Joint Third Ijcar 2006 International 第三届国际联合会
30元
券后¥1193¥1193.00
10
Reasoning Computation 2000 海外直订Symbolic Symposium and The CALCULEMUS Automated 符号计算与自动推理：CALCU
20元
券后¥933¥933.00
11
Reasoning Conference Coimbra 海外直订Automated Joint 8th Ijcar 2016 International 自动推理：第八届国际联合会
20元
券后¥767¥767.00
12
Reasoning Set Logic Extensionality Higher 海外直订Automated 高阶逻辑中 Comprehension and Order 自动推理：丘奇类型
折后¥473¥473.00
13
Analytic and 海外直订Automated 分析表 Reasoning Tableaux R... with 自动推理及相关方法
折后¥520¥520.00
14
Deduction 海外直订Proof and Automated Theory 证明理论与自动推理
折后¥546¥546.00
15
Analytic and 海外直订Automated 基于分析表 Reasoning Tableaux R... with 自动推理及相关方法
折后¥552¥552.00
16
Reasoning 9th 2018 Ijcar Par 自动推理：第九届国际联合会议 海外直订Automated Conference International Held Joint
折后¥553¥553.00
17
Reasoning Conference Nsw Sydney 海外直订Automated Joint 4th Ijcar 2008 International 自动推理：第四届国际联合会
折后¥553¥553.00
18
Reasoning Related and Analytic 海外直订Automated 基于分析表 with Methods International Tableaux 自动推理及相关
折后¥553¥553.00
19
for Reasoning Lpa Conference 海外直订Logic Automated Programming 7th International and 编程和自动推理逻辑：第七届
折后¥553¥553.00
20
Programming 4th Lpar 海外直订Logic Reasoning and International Conference Automated 逻辑编程和自动推理：第四届
折后¥553¥553.00
21
几何中 海外直订Automated Geometry Deduction 自动推理
折后¥553¥553.00
22
Programming Automated 并发 编程 海外直订Functional and Concurrency Reasoning 函数式 Simulation 模拟和自动推理
折后¥553¥553.00
23
Reasoning and International 海外直订Automated Tableaux with Related Methods Analytic 自动推理与分析图表及相关方
折后¥553¥553.00
24
Programming International 海外直订Logic Reasoning and Conference Lpar Automated 逻辑编程和自动推理：1992年
折后¥553¥553.00
25
Programming 6th Lpar 海外直订Logic Reasoning and International Conference Automated 逻辑编程和自动推理：第六届
折后¥553¥553.00
26
Intelligence Symbolic 人工智能 海外直订Artificial and Automated Computation Joint Reasoning 自动推理和符号计
折后¥553¥553.00
27
Reasoning Memory Mathematics 海外直订Automated McCune and William Essays 自动推理与数学：纪念威廉·W·麦库
折后¥585¥585.00
28
正版 三段论及自动推理张寅生科学技术文献出版 扩展 图书 社
6元
券后¥67.73¥67.73
29
官方正版 米罗斯拉夫·库巴特 美 人工智能 人工智能基础 问题解决 新书 清华大学出版 社 问题解决和自动推理 自动推理
3元
券后¥51.43¥51.43
30
神经网络 自动推理 深度学习：卷积神经网络技术与实践 9787111657378机械工业出版 高敬鹏 人工智能 机器学习 自动化技术 社
3元
券后¥62.88¥62.88
31
三段论及自动推理 书 扩展 正版 张寅生
3元
券后¥63.8¥63.80
32
三段论及自动推理 书 扩展 正版 张寅生
2元
券后¥63.8¥63.80