Workshop Deduction 几何自动推导：第七届国际研 7th Geometry 海外直订Automated International 2008 Shanghai ADG
券后¥635
最近售0件
Geometry Workshop International 2010 ADG Deduction 海外直订Automated 8th Munich 几何自动演绎：第八届国际研
券后¥639
最近售0件
Valued Logics 自动演绎 多值逻辑中 Deduction 海外直订Automated Multiple
券后¥1873
最近售0件
4
Epistemic 普拉维茨 演绎能力 Deduction Grounding Into 海外直订Prawitz Power Investigation 认知基础 the 考
60元
券后¥1209¥1209.00
5
13：第 Cade ——Cade 13th Conference Deduct 海外直订Automated Deduction Automated International 自动扣款
60元
券后¥1033¥1033.00
6
Argonne Deduction Usa 第九届自动扣除国际会议 Illinois International 海外直订9th Conference Automated May 198
60元
券后¥1033¥1033.00
7
多值方法 Valued 人工智能中演绎推理 and Approach Artificial 海外直订A Reasoning Many for Deduction Intelligence
60元
券后¥1033¥1033.00
8
海外直订Labelled Deduction 标记扣除
60元
券后¥1033¥1033.00
9
Conference International Automated 自动扣减——Cade Deduction 海外直订Automated Cade 11th Deduct 11：第
60元
券后¥1033¥1033.00
10
多值方法 Valued 人工智能中演绎推理 and Approach Artificial 海外直订A Reasoning Many for Deduction Intelligence
60元
券后¥1033¥1033.00
11
海外直订Labelled Deduction 标记扣除
60元
券后¥1033¥1033.00
12
Automated Deduction 第七届自动扣减国际会议：会议记录 Proceedings International Conference 海外直订7th
60元
券后¥1033¥1033.00
13
Disjunctive and Prevarieties Algebraic 海外直订Implicative Deduction aspects Theorem
100元
券后¥2700¥2700.00
14
Hybrid Deduction Systems and 海外直订Natural 自然演绎 Logics Modal 混合系统和模态逻辑
100元
券后¥2274¥2274.00
15
Calculi Deduction 自动扣除 for 基础 Basis Volume 海外直订Automated Foundations Applications 应用 第一
60元
券后¥1550¥1550.00
16
Level Into 低级推理 Nonmonotonic 演绎 the Investigation Reason 海外直订Inference Deduction 非单调推理 Low
60元
券后¥1550¥1550.00
17
Level Into 低级推理 Nonmonotonic 演绎 the Investigation Reason 海外直订Inference Deduction 非单调推理 Low
60元
券后¥1550¥1550.00
18
Calculi Deduction 自动扣除 for 基础 Basis Volume 海外直订Automated Foundations Applications 应用 第一
60元
券后¥1550¥1550.00
19
the Sciences 归纳法和演绎法 科学中 and Deduction 海外直订Induction
60元
券后¥1550¥1550.00
20
应用基础第一卷基 自动演绎 for Volume Basis Calculi 海外直订Automated Deduction Foundations Applications
100元
券后¥2067¥2067.00
21
海外直订Kant Analysis His Critical Transcendental 康德 康德批判哲 Themes Main Phil 先验演绎 Deduction
100元
券后¥2067¥2067.00
22
海外直订Kant Analysis His Critical Transcendental 康德 康德批判哲 Themes Main Phil 先验演绎 Deduction
100元
券后¥2067¥2067.00
23
Calculi Deduction 自动扣除 for 基础 Basis Volume 海外直订Automated Foundations Applications 应用 第一
100元
券后¥2067¥2067.00
24
探索 Experiment 证明有效性 the Exploring 计算 海外直订Deduction Proof Computation 演绎 Effectiveness 实验
60元
券后¥1110¥1110.00
25
Natural 自然演绎法 庆祝Dag Work Deduction 海外直订Advances Prawitz Celebration 进展 Dag 工作
60元
券后¥1343¥1343.00
26
Natural 自然演绎法 庆祝Dag Work Deduction 海外直订Advances Prawitz Celebration 进展 Dag 工作
60元
券后¥1343¥1343.00
27
Systems Problem Tools and Solving Advanced Deduction 9781951385958 Learn Decision Making 预订 Skills Thinkers wit
40元
券后¥301¥301.00
28
预订 Deduction Automated Geometry
80元
券后¥608¥608.00
29
观点 Radical 先验演绎 Perspectives the Subjectivism 康德 海外直订Kant Transcendental Deduction 激进主观主义
60元
券后¥1175¥1175.00
30
海外直订Automated CADE Deduction 自动扣除
40元
券后¥791¥791.00