关注微信公众号查券更方便
【预售】Implicative and Disjunctive Prevarieties: Algebraic aspects of Deduction Theorem
预订 Natural Deduction, Hybrid Systems and Modal Logics
【预订】Kant’s Transcendental Deduction
【预售】Automated Deduction - A Basis for Applications
预订 Kant's Transcendental Deduction
预订 Kant’s Transcendental Deduction: An Analysis of Main Themes in His Critical Philosophy: 9789048141142
预订 Kant’s Transcendental Deduction of the Categories: Unity, Representation, and Apperception 康德的派别先验推论：统
按需印刷不退不换The Functional Interpretation of Logical Deduction[9789814360951]
预订 Logic and Deduction: Applications to Theoretical Physics, and Number Theory 逻辑与演绎：在理论物理学和数论中的应用:
预订 Topology Deduction and Control for Dual-Active-Bridge Converters双主动桥变换器拓扑推导与控制9789819748556
【预订】The Shaping of Deduction in Greek Mathematics
[预订]Kant’s Deduction From Apperception 9783110582697
[预订]Kant’s Transcendental Deduction and the Theory of Apperception 9783110737585
预订 Induction and Deduction in the Sciences: 9789048165551
海外直订Natural Deduction, Hybrid Systems and Modal Logics 自然演绎，混合系统和模态逻辑
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基
海外直订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 in Multiple-Valued Logics
【预订】Space, Geometry, and Kant’s Transcendental Deduction of the Categories
预订 Advances in Natural Deduction
【预订】Parmenides’ Grand Deduction
预订 Prawitz’s Epistemic Grounding: An Investigation into the Power of Deduction 普拉维茨的认识论基础：演绎力研究: 9783
预订 Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction 演绎观
预订 Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction 演绎展
预订 Modernizing Core Banking Systems：Deduction of a Technial Modernization Process for the Software Architecture of Co
预订 Advances in Natural Deduction: A Celebration of Dag Prawitz’s Work 自然推理进展：达格·普拉维兹作品纪念: 978940077
预订 The Logical Deduction of Chinese Traditional Political Philosophy
预订 Simulation des Social-Deduction-Games Werwolf und Modellierung der sozialen Interaktion: 9783346709950
【预售】7th International Conference on Automated Deduction:
【预售】Labelled Deduction
【预售】Automated Deduction - Cade-13: 13th International
预订 Deduction, Computation, Experiment
【预售】A Many-Valued Approach to Deduction and Reasoning
【预售】The Functional Interpretation of Logical Deduction
【预售】Deduction - Introductory Symbolic Logic 2E
海外直订Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reason 低级推理:演绎、非单调推理
海外直订Induction and Deduction in the Sciences 科学中的归纳法和演绎法
海外直订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 康德的激进主观主义:先验演绎的观点
海外直订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 人工智能中演绎推理的多值方法
海外直订Labelled Deduction 标记扣除
海外直订Automated Deduction - Cade-11: 11th International Conference on Automated Deduct 自动扣减——Cade-11：第
海外直订7th International Conference on Automated Deduction: Proceedings 第七届自动扣减国际会议：会议记录
海外直订Deduction, Computation, Experiment: Exploring the Effectiveness of Proof 演绎、计算、实验:证明有效性的探索
按需印刷不退不换Kant's Transcendental Deduction:An Analytical-Historical Commentary[9780198724865]
按需印刷不退不换Kant's Transcendental Deduction of the Categories[9789523690288]
按需印刷不退不换Brilliant Deduction[9780988250505]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9789048150502]
【预订】Automated Deduction - Cade 26: 26th ...
【预售】Automated Deduction - Cade 27: 27th International Conference on Automated Deduction, Natal, Brazil, August...
预订 Labelled Deduction 标记的演绎: 9789401057813
海外直订Automated Deduction - CADE 26 自动扣除-CADE 26
海外直订Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs 一般代数逻辑中的演绎定理和
预订 Debt Interest Deduction in Computing Corporate Income Tax (CIT) 计算企业所得税时扣除债务利息: 9786207461998
【预售】Automated Deduction -- CADE-23: 23rd International
【预售】Automated Deduction - CADE-22: 22nd International
【预订】Automated Deduction -- CADE-24
【预售】Automated Deduction in Geometry: 8th International
【预订】Automated Deduction - CADE-25
【预售】Automated Deduction in Geometry
【预售】Deduction Systems
【预订】Automated Deduction in Geometry
预订 Automated Deduction in Geometry
【预订】Explanation, Causation and Deduction
【预订】Automated Deduction - CADE-17 9783540676645
【预售】Automated Deduction Cade-20: 20th International
【预订】Automated Deduction - CADE-21
【预订】Automated Deduction - CADE-16
【预订】Automated Deduction - CADE-15
【预订】Automated Deduction - CADE-14
【预订】Automated Deduction - CADE-19
预订 Origines Patriciae: Or a Deduction of European Titles of Nobility and Dignified Offices, From Their Primitive Sourc
