关注微信公众号查券更方便
按需印刷不退不换The Functional Interpretation of Logical Deduction[9789814360951]
预订 Topology Deduction and Control for Dual-Active-Bridge Converters双主动桥变换器拓扑推导与控制9789819748556
【预订】The Shaping of Deduction in Greek Mathematics
海外直订Kant's Transcendental Deduction: An Analysis of Main Themes in His Critical Phil 康德的先验演绎:康德批判哲
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
【预订】Automated Deduction in Multiple-Valued Logics
海外直订Natural Deduction, Hybrid Systems and Modal Logics 自然演绎，混合系统和模态逻辑
海外直订Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reason 低级推理:演绎、非单调推理
海外直订Induction and Deduction in the Sciences 科学中的归纳法和演绎法
海外直订Automated Deduction in Multiple-Valued Logics 多值逻辑中的自动演绎
海外直订10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 第十届自动扣减国际会议：德
海外直订Advances in Natural Deduction: A Celebration of Dag Prawitz's Work 自然演绎法的进展:庆祝Dag Prawitz的工作
海外直订Perspectives on Deduction: Contemporary Studies in the Philosophy, History and F Perspectiv
海外直订Prawitz's Epistemic Grounding: An Investigation Into the Power of Deduction 普拉维茨的认知基础:演绎能力的考
海外直订Kant's Radical Subjectivism: Perspectives on the Transcendental Deduction 康德的激进主观主义:先验演绎的观点
海外直订9th International Conference on Automated Deduction: Argonne, Illinois, Usa, May 第九届自动扣除国际会议:198
海外直订Automated Deduction - Cade-11: 11th International Conference on Automated Deduct 自动扣减——Cade-11：第
海外直订7th International Conference on Automated Deduction: Proceedings 第七届自动扣减国际会议：会议记录
海外直订Automated Deduction - Cade-13: 13th International Conference on Automated Deduct 自动扣款——Cade-13：第
海外直订A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence 人工智能中演绎推理的多值方法
海外直订Labelled Deduction 标记扣除
海外直订Deduction, Computation, Experiment: Exploring the Effectiveness of Proof 演绎、计算、实验:证明有效性的探索
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9789048150502]
海外直订Automated Deduction - CADE 26 自动扣除-CADE 26
海外直订Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs 一般代数逻辑中的演绎定理和
【预订】Automated Deduction – CADE 28 9783030798758
[预订]Automated Deduction – CADE 29 9783031384981
【3-4周达】精装 Natural Deduction, Hybrid Systems and Modal Logics [9789048187843]
【3-4周达】Natural Deduction, Hybrid Systems and Modal Logics [9789400732438]
海外直订Human Reasoning: The Psychology of Deduction 人类推理:演绎心理学
海外直订Automated Deduction - Cade-25: 25th International Conference on Automated Deduct 自动扣减——Cade-25：第
海外直订Automated Deduction in Geometry: Second International Workshop, Adg'98, Beijing, 几何的自动演绎:第二届国际
海外直订Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesvil 几何的自动推导:第五届国际
海外直订Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich,
海外直订Automated Deduction in Geometry: International Workshop on Automated Deduction i 几何自动演绎:几何自动演绎
海外直订Automated Deduction in Geometry 几何中的自动推理
海外直订Automated Deduction - Cade-22: 22nd International Conference on Automated Deduct 自动扣除- Cade
海外直订Automated Deduction in Equational Logic and Cubic Curves 等式逻辑和三次曲线的自动推导
海外直订Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg 几何的自动演绎:第四届国际
海外直订Explanation, Causation and Deduction 解释、因果和演绎
海外直订Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, G 几何自动演绎：第八届国际研
海外直订Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduc 自动扣减——Cade
海外直订Automated Deduction - Cade-15: 15th International Conference on Automated Deduct 自动扣除- Cade-15:第
海外直订Automated Deduction in Classical and Non-Classical Logics: Selected Papers 经典与非经典逻辑的自动演绎:论文
海外直订Automated Deduction - Cade-16: 16th International Conference on Automated Deduct 自动扣除- Cade-16:第
海外直订Automated Deduction - CADE-21: 21st International Conference on Automated Deduct 自动扣减——CADE
海外直订Automated Deduction - Cade-20: 20th International Conference on Automated Deduct 自动扣除——Cade-20：第
海外直订Automated Deduction -- Cade-24: 24th International Conference on Automated Deduc 自动扣减——Cade
海外直订Automated Deduction - Cade-14: 14th International Conference on Automated Deduct 自动扣除- cad1
海外直订Automated Deduction - Cade-17: 17th International Conference on Automated Deduct 自动扣减——Cade-17:2
海外直订The Relativistic Deduction: Epistemological Implications of the Theory of Relati 相对论推论：相对论的认识论
海外直订Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, 几何自动推导：第七届国际研
海外直订Automated Deduction -- Cade-12: 12th International Conference on Automated Deduc 自动扣除——Cade-12:1
海外直订Automated Deduction - Cade-19: 19th International Conference on Automated Deduct 自动扣减——Cade-19：美
海外直订Proof Theory and Automated Deduction 证明理论与自动推理
海外直订Deduction Systems 扣除制度
海外直订Automated Deduction in Geometry: 9th International Workshop, Adg 2012, Edinburgh 几何自动演绎：第九届国际研
按需印刷不退不换Kant's Transcendental Deduction:An Analytical-Historical Commentary[9780198724865]
【3-4周达】精装 Kant's Transcendental Deduction : An Analysis of Main Themes in His Critical Philosophy [9780792315711]
【3-4周达】精装 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Met... [9780792351290]
【3-4周达】精装 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Met... [9780792351306]
按需印刷不退不换Kant's Transcendental Deduction of the Categories[9789523690288]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9789048150519]
【3-4周达】Kant's Transcendental Deduction : An Analysis of Main Themes in His Critical Philosophy [9789048141142]
【3-4周达】精装 Induction and Deduction in the Sciences [9781402019678]
按需印刷不退不换Brilliant Deduction[9780988250505]
【3-4周达】精装 Kant's Transcendental Deduction: An Analytical-Historical Commentary [9780198724858]
【3-4周达】精装 Logic and Deduction: Applications to Theoretical Physics, and Number Theory [9783119145312]
【3-4周达】Topology Deduction and Control for Dual-Active-Bridge Converters [9789819748587]
【3-4周达】精装 Kant's Transcendental Deduction and the Theory of Apperception: New Interpretations [9783110737585]
【3-4周达】精装 Kant's Deduction from Apperception: An Essay on the Transcendental Deduction of the C... [9783110582697]
【3-4周达】精装 Topology Deduction and Control for Dual-Active-Bridge Converters [9789819748556]
【3-4周达】精装 Shaping of Deduction in Greek Mathematics: A Study in Cognitive History - The Shaping... [9780521622790]
【3-4周达】Inference on the Low Level : An Investigation into Deduction, Nonmonotonic Reasoning, and ... [9789048166695]
【3-4周达】精装 Inference on the Low Level : An Investigation into Deduction, Nonmonotonic Reasoning,... [9781402024924]
【3-4周达】精装 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Met... [9780792351313]
【3-4周达】Induction and Deduction in the Sciences [9789048165551]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9789048150526]
【3-4周达】10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 199... [9783540528852]
【3-4周达】Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theo... [9783031514081]
【3-4周达】精装 The Logical Deduction of Chinese Traditional Political Philosophy [9789811643750]
【3-4周达】精装 Labelled Deduction [9780792362371]
【3-4周达】精装 Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal... [9783031514050]
按需印刷不退不换DEG Kant s Deduction From Apperception[9783110710267]
【3-4周达】精装 Advances in Natural Deduction : A Celebration of Dag Prawitz's Work [9789400775473]
【3-4周达】精装 Prawitz's Epistemic Grounding : An Investigation into the Power of Deduction [9783031202933]
【3-4周达】精装 Automated Deduction in Multiple-Valued Logics [9780198539896]
预订 Cerebral Aneurysms: Deduction of Hemodynamic Factors using CFD [9783659836459]
【3-4周达】Prawitz's Epistemic Grounding : An Investigation into the Power of Deduction [9783031202964]
【3-4周达】Advances in Natural Deduction : A Celebration of Dag Prawitz's Work (Softcover reprint of ... [9789402406870]
【3-4周达】精装 Space, Geometry, and Kant's Transcendental Deduction of the Categories [9780199381166]
![按需印刷不退不换The Functional Interpretation of Logical Deduction[9789814360951]](/Public/skin2/static/tqkpc/images/grey.gif)