Logical 按需印刷不退不换The 9789814360951 Deduction Functional Interpretation
￥1378满800减100售0件
Converters双主动桥变换器拓扑推导与控制9789819748556 Control 预订 Bridge Dual Active for and Deduction Topology
￥1753满999减80售0件
Deduction The Shaping Greek Mathematics 预订
￥1719满999减80售0件
Transcendental Analysis His Phil 海外直订Kant 康德 先验演绎 康德批判哲 Deduction Themes Critical Main
￥2651满1600减60售0件
Transcendental Analysis His Phil 海外直订Kant 康德 先验演绎 康德批判哲 Deduction Themes Critical Main
￥2651满1600减60售0件
Applications Deduction for Basis 自动演绎 海外直订Automated Calculi 应用基础第一卷基 Foundations Volume
￥2637满1600减60售0件
基础 Applications 自动扣除 第一 海外直订Automated Basis 应用 for Foundations Calculi Volume Deduction
￥2637满1600减60售0件
Valued Deduction Multiple 预订 Automated Logics
￥1505满999减80售0件
Modal 海外直订Natural Logics Hybrid Systems 自然演绎 混合系统和模态逻辑 and Deduction
￥2026满1600减60售0件
演绎 Level Investigation 非单调推理 海外直订Inference Nonmonotonic the Deduction Low 低级推理 Into Reason
￥1988满1600减60售0件
演绎 Level Investigation 非单调推理 海外直订Inference Nonmonotonic the Deduction Low 低级推理 Into Reason
￥1988满1600减60售0件
the 海外直订Induction 科学中 Sciences and Deduction 归纳法和演绎法
￥1988满1600减60售0件
基础 Applications 自动扣除 第一 海外直订Automated Basis 应用 for Foundations Calculi Volume Deduction
￥1978满1600减60售0件
基础 Applications 自动扣除 第一 海外直订Automated Basis 应用 for Foundations Calculi Volume Deduction
￥1978满1600减60售0件
Valued 海外直订Automated 多值逻辑中 Multiple Logics Deduction 自动演绎
￥1951满1600减60售0件
第十届自动扣减国际会议：德 Automated 海外直订10th July Kaiserslautern Frg Deduction Conference International
￥1845满1600减60售0件
庆祝Dag Celebration 自然演绎法 工作 海外直订Advances Deduction 进展 Dag Prawitz Work Natural
￥1723满1600减60售0件
History the Deduction 海外直订Perspectives Studies and Perspectiv Contemporary Philosophy
￥1590满1000减40售0件
庆祝Dag Celebration 自然演绎法 工作 海外直订Advances Deduction 进展 Dag Prawitz Work Natural
￥1471满1000减40售0件
演绎能力 Investigation 普拉维茨 考 海外直订Prawitz Grounding 认知基础 the Power Deduction Into Epistemic
￥1471满1000减40售0件
Cade 26th Deduction 预订 Automated ...
￥876满500减50售0件
International 预售 Cade Deduction Brazil Natal August... Automated Conference 27th
￥876满500减50售0件
Transcendental Perspectives Subjectivism 先验演绎 海外直订Kant 激进主观主义 康德 观点 Radical Deduction the
￥1337满1000减40售0件
International Usa Argonne Conference 海外直订9th Automated Deduction May 198 第九届自动扣除国际会议 Illinois
￥1325满1000减40售0件
Automated 海外直订7th Proceedings Deduction International Conference 第七届自动扣减国际会议：会议记录
￥1325满1000减40售0件
Deduction Automated Conference Cade 海外直订Automated 11th International Deduct 11：第 自动扣减——Cade
￥1325满1000减40售0件
International Deduction 13th ——Cade 海外直订Automated 自动扣款 Deduct 13：第 Cade Automated Conference
￥1318满1000减40售0件
Deduction Reasoning Many Approach 人工智能中演绎推理 海外直订A Intelligence Artificial 多值方法 Valued for and
￥1318满1000减40售0件
标记扣除 海外直订Labelled Deduction
￥1318满1000减40售0件
标记扣除 海外直订Labelled Deduction
￥1318满1000减40售0件
Deduction Reasoning Many Approach 人工智能中演绎推理 海外直订A Intelligence Artificial 多值方法 Valued for and
￥1318满1000减40售0件
Effectiveness Proof Computation the Exploring 证明有效性 海外直订Deduction 实验 计算 探索 Experiment 演绎
￥1203满1000减40售0件
