Deduction什么牌子好,Deduction哪里有卖? - 第1页

Transcendental 9780198724865 Analytical Historical

按需印刷不退不换Kant's Transcendental Deduction:An Analytical-Historical Commentary[9780198724865]

￥462.7 券后￥492.7 0人已购买
优惠券￥ 30  领券购买 
扣除 Applications Foundations Automated

海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
Automated 扣款 Cade International

海外直订Automated Deduction - Cade-13: 13th International Conference on Automated Deduct 自动扣款——Cade-13：第

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
扣除 Deduction Systems 海外

海外直订Deduction Systems 扣除制度

￥566 券后￥616 0人已购买
优惠券￥ 50  领券购买 
Automated 扣减 Cade International

海外直订Automated Deduction - Cade-25: 25th International Conference on Automated Deduct 自动扣减——Cade-25：第

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Applications Foundations Automated Deduction

海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基

￥2,551 券后￥2,651 0人已购买
优惠券￥ 100  领券购买 
CADE 扣除 Automated Deduction

海外直订Automated Deduction - CADE 26 自动扣除-CADE 26

￥886 券后￥936 0人已购买
优惠券￥ 50  领券购买 
International 几何第二届 Automated

海外直订Automated Deduction in Geometry: Second International Workshop, Adg'98, Beijing, 几何的自动演绎:第二届国际

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Computational Scientists 科学家 Deduction

海外直订Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs 计算机科学家的应用逻辑：计

￥504 券后￥554 0人已购买
优惠券￥ 50  领券购买 
Automated Cade 扣除 International

海外直订Automated Deduction - Cade 28: 28th International Conference on Automated Deduct 自动扣除- Cade

￥459 券后￥489 0人已购买
优惠券￥ 30  领券购买 
推理 Investigation 低级 Nonmonotonic

海外直订Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reason 低级推理:演绎、非单调推理

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
International 几何 Automated Deduction

海外直订Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, G 几何自动演绎：第八届国际研

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
推导第五届 International 几何

海外直订Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesvil 几何的自动推导:第五届国际

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Automated Deduction Multiple 逻辑

海外直订Automated Deduction in Multiple-Valued Logics 多值逻辑中的自动演绎

￥1,851 券后￥1,951 0人已购买
优惠券￥ 100  领券购买 
Automated 扣减 Cade International

海外直订Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduc 自动扣减——Cade

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
推理 Investigation 低级 Nonmonotonic

海外直订Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reason 低级推理:演绎、非单调推理

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
International Automated Deduction Geometry

海外直订Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich,

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Prevarieties Implicative Disjunctive Algebraic

海外直订Implicative and Disjunctive Prevarieties: Algebraic aspects of Deduction Theorem

￥2,941 券后￥3,041 0人已购买
优惠券￥ 100  领券购买 
因果关系确定性因果 Deterministic

海外直订The Logic of Causation: Definition, Induction and Deduction of Deterministic Cau 因果逻辑：确定性因果关系的

￥295 券后￥325 0人已购买
优惠券￥ 30  领券购买 
Perspectives Contemporary Philosophy Perspectiv

海外直订Perspectives on Deduction: Contemporary Studies in the Philosophy, History and F Perspectiv

￥1,490 券后￥1,590 0人已购买
优惠券￥ 100  领券购买 
模态 Deduction 混合逻辑

海外直订Natural Deduction, Hybrid Systems and Modal Logics 自然演绎，混合系统和模态逻辑

￥1,926 券后￥2,026 0人已购买
优惠券￥ 100  领券购买 
康德先验激进主观主义

海外直订Kant's Radical Subjectivism: Perspectives on the Transcendental Deduction 康德的激进主观主义:先验演绎的观点

￥1,237 券后￥1,337 0人已购买
优惠券￥ 100  领券购买 
演绎法 Celebration Deduction Dag

海外直订Advances in Natural Deduction: A Celebration of Dag Prawitz's Work 自然演绎法的进展:庆祝Dag Prawitz的工作

￥1,371 券后￥1,471 0人已购买
优惠券￥ 100  领券购买 
Effectiveness Computation Experiment Deduction

海外直订Deduction, Computation, Experiment: Exploring the Effectiveness of Proof 演绎、计算、实验:证明有效性的探索

￥1,103 券后￥1,203 0人已购买
优惠券￥ 100  领券购买 
演绎法 Celebration Deduction Dag

海外直订Advances in Natural Deduction: A Celebration of Dag Prawitz's Work 自然演绎法的进展:庆祝Dag Prawitz的工作

￥1,623 券后￥1,723 0人已购买
优惠券￥ 100  领券购买 
维茨普拉 Investigation 认知

海外直订Prawitz's Epistemic Grounding: An Investigation Into the Power of Deduction 普拉维茨的认知基础:演绎能力的考

￥1,371 券后￥1,471 0人已购买
优惠券￥ 100  领券购买 
康德先验 Transcendental 批判

海外直订Kant's Transcendental Deduction: An Analysis of Main Themes in His Critical Phil 康德的先验演绎:康德批判哲

￥2,551 券后￥2,651 0人已购买
优惠券￥ 100  领券购买 
归纳法演绎法 Induction Deduction

海外直订Induction and Deduction in the Sciences 科学中的归纳法和演绎法

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
Automated Cade 扣除 International

海外直订Automated Deduction - Cade-15: 15th International Conference on Automated Deduct 自动扣除- Cade-15:第

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
几何 Automated Deduction 演绎

海外直订Automated Deduction in Geometry: International Workshop on Automated Deduction i 几何自动演绎:几何自动演绎

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Classical 经典 Automated Deduction

海外直订Automated Deduction in Classical and Non-Classical Logics: Selected Papers 经典与非经典逻辑的自动演绎:论文

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Automated Cade 扣除 International

海外直订Automated Deduction - Cade-16: 16th International Conference on Automated Deduct 自动扣除- Cade-16:第

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
人工智能 Intelligence 推理 Artificial

海外直订A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence 人工智能中演绎推理的多值方法

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
推理 Psychology 心理学 Reasoning

海外直订Human Reasoning: The Psychology of Deduction 人类推理:演绎心理学

￥678 券后￥728 0人已购买
优惠券￥ 50  领券购买 
推理 Automated Deduction 证明

海外直订Proof Theory and Automated Deduction 证明理论与自动推理

￥597 券后￥647 0人已购买
优惠券￥ 50  领券购买 
几何推理 Automated Deduction

海外直订Automated Deduction in Geometry 几何中的自动推理

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
国际会议扣除 International Conference

海外直订9th International Conference on Automated Deduction: Argonne, Illinois, Usa, May 第九届自动扣除国际会议:198

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
扣除 Applications Foundations Automated

海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
Automated 扣减 CADE International

海外直订Automated Deduction - CADE-21: 21st International Conference on Automated Deduct 自动扣减——CADE

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International 几何 Automated Deduction

海外直订Automated Deduction in Geometry: 9th International Workshop, Adg 2012, Edinburgh 几何自动演绎：第九届国际研

￥559 券后￥609 0人已购买
优惠券￥ 50  领券购买 