关注微信公众号查券更方便
预订 Automated Deduction in Geometry
【预售】A Many-Valued Approach to Deduction and Reasoning
【预售】Automated Deduction - A Basis for Applications
【预售】7th International Conference on Automated Deduction:
【预售】Labelled Deduction
【预售】Deduction Systems
【预售】Automated Deduction in Geometry
【预订】Automated Deduction - CADE-19
【预售】Automated Deduction in Geometry: 8th International
【预订】Explanation, Causation and Deduction
【预订】Automated Deduction in Geometry
【预售】Automated Deduction Cade-20: 20th International
【预订】Automated Deduction -- CADE-24
【预售】Automated Deduction - Cade-13: 13th International
【预订】Automated Deduction - CADE-16
【预订】Automated Deduction - CADE-25
【预订】Automated Deduction - CADE-17 9783540676645
【预售】Proof Theory and Automated Deduction
【预售】Automated Deduction -- CADE-23: 23rd International
【预售】Automated Deduction - CADE-22: 22nd International
【预订】Automated Deduction - CADE-15
【预订】Automated Deduction - CADE-21
【预订】Automated Deduction - CADE-14
【预订】Kant’s Transcendental Deduction
预订 Kant's Transcendental Deduction
预订 Deduction, Computation, Experiment
【预订】The Shaping of Deduction in Greek Mathematics
[预订]Tools of Systems Thinkers: Learn Advanced Deduction, Decision-Making, and Problem-Solving Skills wit 9781951385958
预订 The Logical Deduction of Chinese Traditional Political Philosophy
预订 Natural Deduction, Hybrid Systems and Modal Logics
【预售】The Functional Interpretation of Logical Deduction
【预售】Deduction - Introductory Symbolic Logic 2E
【预售】Implicative and Disjunctive Prevarieties: Algebraic aspects of Deduction Theorem
[预订]Kant’s Deduction From Apperception 9783110582697
【预订】Parmenides’ Grand Deduction
[预订]Kant’s Transcendental Deduction and the Theory of Apperception 9783110737585
【预订】Space, Geometry, and Kant’s Transcendental Deduction of the Categories
【预售】Automated Deduction - Cade 27: 27th International Conference on Automated Deduction, Natal, Brazil, August...
【预订】Automated Deduction - Cade 26: 26th ...
预订 The Dialogical Roots of Deduction
预订 Advances in Natural Deduction
【预订】Automated Deduction in Multiple-Valued Logics
预订 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 29 9783031384981
【预订】Automated Deduction – CADE 28 9783030798758
预售 按需印刷 Kant s Deduction From Apperception
【预订】Discovery of Deduction
【预售】New Puzzles in Logical Deduction
【预订】Kant’s Deduction From Apperception 9783110710267
[预订]The Solar System: An Astronomical Unit: A Work of Deduction Based On a Fundamental Hypothesis 9781019107225
按需印刷 Induction And 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 第七届自动扣减国际会议:会议记录
海外直订Automated Deduction - Cade-25: 25th International Conference on Automated Deduct 自动扣减——Cade-25:第
海外直订Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs 计算机科学家的应用逻辑:计
海外直订Proof Theory and Automated Deduction 证明理论与自动推理
现货 康德的先验演绎 分析历史的评注 英文原版 Kant S Transcendental Deduction Henry Allison【中商原版】
海外直订Automated Deduction in Geometry: Second International Workshop, Adg'98, Beijing, 几何的自动演绎:第二届国际
海外直订Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesvil 几何的自动推导:第五届国际
海外直订Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduc 自动扣减——Cade
海外直订Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich,
海外直订Automated Deduction - Cade-15: 15th International Conference on Automated Deduct 自动扣除- Cade-15:第
海外直订Automated Deduction in Classical and Non-Classical Logics: Selected Papers 经典与非经典逻辑的自动演绎:论文
海外直订Automated Deduction in Geometry 几何中的自动推理
海外直订Automated Deduction - CADE-21: 21st International Conference on Automated Deduct 自动扣减——CADE
海外直订Automated Deduction in Geometry: International Workshop on Automated Deduction i 几何自动演绎:几何自动演绎
海外直订Automated Deduction - Cade-16: 16th International Conference on Automated Deduct 自动扣除- Cade-16:第
海外直订Automated Deduction - Cade-19: 19th International Conference on Automated Deduct 自动扣减——Cade-19:美
海外直订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 in Geometry: 4th International Workshop, Adg 2002, Hagenberg 几何的自动演绎:第四届国际
海外直订Automated Deduction in Equational Logic and Cubic Curves 等式逻辑和三次曲线的自动推导
海外直订Explanation, Causation and Deduction 解释、因果和演绎
海外直订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 - Cade-14: 14th International Conference on Automated Deduct 自动扣除- cad1
海外直订Automated Deduction -- Cade-12: 12th International Conference on Automated Deduc 自动扣除——Cade-12:1