关注微信公众号查券更方便
【预售】Automated Deduction in Geometry: 8th International
【预订】Automated Deduction - CADE-25
【预订】Automated Deduction in Geometry
【预售】Automated Deduction - CADE-22: 22nd International
【预售】Automated Deduction -- CADE-23: 23rd International
【预订】Automated Deduction -- CADE-24
【预售】Automated Deduction in Geometry
【预售】Deduction Systems
预订 Automated Deduction in Geometry
【预订】Automated Deduction - CADE-19
【预售】Proof Theory and Automated Deduction
【预订】Automated Deduction - CADE-16
【预订】Automated Deduction - CADE-17 9783540676645
【预售】Automated Deduction Cade-20: 20th International
【预订】Automated Deduction - CADE-15
【预订】Explanation, Causation and Deduction
【预订】Automated Deduction - CADE-14
【预订】Automated Deduction - CADE-21
【预订】Kant’s Transcendental Deduction
【预售】7th International Conference on Automated Deduction:
【预售】Automated Deduction - Cade-13: 13th International
【预售】Labelled Deduction
【预售】Automated Deduction - A Basis for Applications
预订 Deduction, Computation, Experiment
预订 Kant's Transcendental Deduction
【预售】A Many-Valued Approach to Deduction and Reasoning
[预订]Tools of Systems Thinkers: Learn Advanced Deduction, Decision-Making, and Problem-Solving Skills wit 9781951385958
预订 The Logical Deduction of Chinese Traditional Political Philosophy
【预售】The Functional Interpretation of Logical Deduction
【预售】Implicative and Disjunctive Prevarieties: Algebraic aspects of Deduction Theorem
【预订】Parmenides’ Grand Deduction
预订 Natural Deduction, Hybrid Systems and Modal Logics
预订 Prawitz’s Epistemic Grounding: An Investigation into the Power of Deduction 普拉维茨的认识论基础：演绎力研究: 9783
【预订】Space, Geometry, and Kant’s Transcendental Deduction of the Categories
预订 The Dialogical Roots of Deduction
【预订】The Shaping of Deduction in Greek Mathematics
【预订】Kant’s Deduction From Apperception 9783110710267
预订 Advances in Natural Deduction
【预售】Deduction - Introductory Symbolic Logic 2E
【预订】Automated Deduction in Multiple-Valued Logics
预订 Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction 演绎观
海外直订Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, G 几何自动演绎：第八届国际研
海外直订Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, 几何自动推导：第七届国际研
【预订】Automated Deduction - Cade 26: 26th ...
【预售】Automated Deduction - Cade 27: 27th International Conference on Automated Deduction, Natal, Brazil, August...
[预订]Kant’s Transcendental Deduction and the Theory of Apperception 9783110737585
[预订]Kant’s Deduction From Apperception 9783110582697
海外直订Prawitz's Epistemic Grounding: An Investigation Into the Power of Deduction 普拉维茨的认知基础:演绎能力的考
预订 Topology Deduction and Control for Dual-Active-Bridge Converters双主动桥变换器拓扑推导与控制9789819748556
[预订]Induction and Deduction: A Historical and Critical Sketch of Successive Philosophical Conceptions Re 9781020649738
海外直订Automated Deduction - Cade-13: 13th International Conference on Automated Deduct 自动扣款——Cade-13：第
海外直订9th International Conference on Automated Deduction: Argonne, Illinois, Usa, May 第九届自动扣除国际会议:198
海外直订A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence 人工智能中演绎推理的多值方法
海外直订Automated Deduction - Cade-11: 11th International Conference on Automated Deduct 自动扣减——Cade-11：第
海外直订Labelled Deduction 标记扣除
海外直订7th International Conference on Automated Deduction: Proceedings 第七届自动扣减国际会议：会议记录
海外直订Perspectives on Deduction: Contemporary Studies in the Philosophy, History and F Perspectiv
海外直订Implicative and Disjunctive Prevarieties: Algebraic aspects of Deduction Theorem
海外直订Automated Deduction in Multiple-Valued Logics 多值逻辑中的自动演绎
海外直订Natural Deduction, Hybrid Systems and Modal Logics 自然演绎，混合系统和模态逻辑
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
海外直订Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reason 低级推理:演绎、非单调推理
海外直订Induction and Deduction in the Sciences 科学中的归纳法和演绎法
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基
海外直订Kant's Transcendental Deduction: An Analysis of Main Themes in His Critical Phil 康德的先验演绎:康德批判哲
海外直订Deduction, Computation, Experiment: Exploring the Effectiveness of Proof 演绎、计算、实验:证明有效性的探索
海外直订Advances in Natural Deduction: A Celebration of Dag Prawitz's Work 自然演绎法的进展:庆祝Dag Prawitz的工作
【预订】Discovery of Deduction
海外直订Kant's Radical Subjectivism: Perspectives on the Transcendental Deduction 康德的激进主观主义:先验演绎的观点
海外直订Automated Deduction - CADE 26 自动扣除-CADE 26
海外直订10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 第十届自动扣减国际会议：德
【预订】Automated Deduction – CADE 28 9783030798758
[预订]Automated Deduction – CADE 29 9783031384981
海外直订Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs 一般代数逻辑中的演绎定理和
海外直订Automated Deduction in Geometry 几何学中的自动推导
海外直订Automated Deduction - Cade 28: 28th International Conference on Automated Deduct 自动扣除- Cade
预售 按需印刷Deduction Und Induction德语ger
