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

Automated 扣减 Cade International

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

￥547 券后￥552 0人已购买
优惠券￥ 5  领券购买 
CADE 扣除 Automated Deduction

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

￥761 券后￥791 0人已购买
优惠券￥ 30  领券购买 
扣除 Applications Foundations Deduction

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

￥1,490 券后￥1,550 0人已购买
优惠券￥ 60  领券购买 
Automated 扣款 Cade International

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

￥973 券后￥1,033 0人已购买
优惠券￥ 60  领券购买 
Applications Foundations Deduction Automated

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

￥2,007 券后￥2,067 0人已购买
优惠券￥ 60  领券购买 
Automated Cade 扣除 International

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

￥434 券后￥439 0人已购买
优惠券￥ 5  领券购买 
扣除 Deduction Systems 海外

海外直订Deduction Systems 扣除制度

￥589 券后￥594 0人已购买
优惠券￥ 5  领券购买 
机械工程 Computation 正规 Deduction

海外直订The Great Formal Machinery Works: Theories of Deduction and Computation at the O 大型正规机械工程:数字时代

￥284 券后￥289 0人已购买
优惠券￥ 5  领券购买 
Computational Scientists 科学家 Deduction

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

￥530 券后￥535 0人已购买
优惠券￥ 5  领券购买 
International 几何第二届 Deduction

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
康德原版中商先验

预售康德的先验演绎分析历史的评注英文原版 Kant S Transcendental Deduction Henry Allison【中商原版】

￥546 券后￥551 0人已购买
优惠券￥ 5  领券购买 
推导第五届 International 几何

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
Automated 扣减 Cade International

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
Automated Deduction Multiple 逻辑

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

￥1,985 券后￥2,045 0人已购买
优惠券￥ 60  领券购买 
推理 Investigation 低级 Nonmonotonic

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

￥1,490 券后￥1,550 0人已购买
优惠券￥ 60  领券购买 
因果关系确定性因果 Deterministic

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

￥201 券后￥206 0人已购买
优惠券￥ 5  领券购买 
推理 Investigation 低级 Nonmonotonic

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

￥1,490 券后￥1,550 0人已购买
优惠券￥ 60  领券购买 
International Deduction Automated Workshop

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
Prevarieties Implicative Disjunctive Deduction

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

￥2,640 券后￥2,700 0人已购买
优惠券￥ 60  领券购买 
量词上下文 Quantifiers Deduction

海外直订Quantifiers, Deduction, and Context: Volume 57 量词，演绎，和上下文:卷57

￥273 券后￥278 0人已购买
优惠券￥ 5  领券购买 
Perspectives Contemporary Philosophy Perspectiv

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

￥1,181 券后￥1,241 0人已购买
优惠券￥ 60  领券购买 
演绎法 Celebration Dag Prawitz's

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

￥1,283 券后￥1,343 0人已购买
优惠券￥ 60  领券购买 
康德先验激进主观主义

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

￥1,115 券后￥1,175 0人已购买
优惠券￥ 60  领券购买 
模态 Deduction 混合逻辑

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

￥2,214 券后￥2,274 0人已购买
优惠券￥ 60  领券购买 
贵族欧洲起源 Patriciae

海外直订Origines Patriciae: Or a Deduction of European Titles of Nobility and Dignified 贵族起源:或从欧洲贵族和有

￥270 券后￥275 0人已购买
优惠券￥ 5  领券购买 
演绎法 Celebration Dag Prawitz's

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

￥1,283 券后￥1,343 0人已购买
优惠券￥ 60  领券购买 
Effectiveness Computation Experiment Deduction

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

￥1,050 券后￥1,110 0人已购买
优惠券￥ 60  领券购买 
维茨普拉 Investigation 认知

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

￥1,149 券后￥1,209 0人已购买
优惠券￥ 60  领券购买 
康德先验 Transcendental 批判

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

￥2,007 券后￥2,067 0人已购买
优惠券￥ 60  领券购买 
国际会议扣除 International Conference

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

￥973 券后￥1,033 0人已购买
优惠券￥ 60  领券购买 
归纳法演绎法 Induction Deduction

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

￥1,490 券后￥1,550 0人已购买
优惠券￥ 60  领券购买 
Automated Cade 扣除 International

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
Classical 经典 Automated Deduction

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
推理 Psychology 心理学 Deduction

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

￥585 券后￥590 0人已购买
优惠券￥ 5  领券购买 
扣除 Applications Foundations Deduction

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

￥1,490 券后￥1,550 0人已购买
优惠券￥ 60  领券购买 
几何 Deduction Automated 演绎

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
几何推理 Automated Deduction

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
Automated 扣减 CADE International

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
Automated Cade 扣除 International

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
人工智能 Intelligence 推理 Artificial

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

￥973 券后￥1,033 0人已购买
优惠券￥ 60  领券购买 