手机浏览
    排序：综合有券销量↓价格↑人气↓
    价格：全部￥0 - 200￥200 - 500￥500以上

    ￥-

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

    ApplicationsFoundationsAutomatedDeduction

    ￥2551
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基
    海外直订Kant's Transcendental Deduction: An Analysis of Main Themes in His Critical Phil 康德的先验演绎:康德批判哲
    100 元券

    康德先验Transcendental批判

    ￥2551
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Kant's Transcendental Deduction: An Analysis of Main Themes in His Critical Phil 康德的先验演绎:康德批判哲
    海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
    100 元券

    扣除ApplicationsFoundationsAutomated

    ￥2551
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
    海外直订Kant's Transcendental Deduction: An Analysis of Main Themes in His Critical Phil 康德的先验演绎:康德批判哲
    100 元券

    康德先验Transcendental批判

    ￥2551
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Kant's Transcendental Deduction: An Analysis of Main Themes in His Critical Phil 康德的先验演绎:康德批判哲
    海外直订Natural Deduction, Hybrid Systems and Modal Logics 自然演绎，混合系统和模态逻辑
    100 元券

    模态Deduction混合逻辑

    ￥1926
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Natural Deduction, Hybrid Systems and Modal Logics 自然演绎，混合系统和模态逻辑
    海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
    100 元券

    扣除ApplicationsFoundationsAutomated

    ￥1888
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
    海外直订Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reason 低级推理:演绎、非单调推理
    100 元券

    推理Investigation低级Nonmonotonic

    ￥1888
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

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

    推理Investigation低级Nonmonotonic

    ￥1888
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reason 低级推理:演绎、非单调推理
    海外直订Induction and Deduction in the Sciences 科学中的归纳法和演绎法
    100 元券

    归纳法演绎法InductionDeduction

    ￥1888
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Induction and Deduction in the Sciences 科学中的归纳法和演绎法
    海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
    100 元券

    扣除ApplicationsFoundationsAutomated

    ￥1888
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
    海外直订Automated Deduction in Multiple-Valued Logics 多值逻辑中的自动演绎
    100 元券

    AutomatedDeductionMultiple逻辑

    ￥1851
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Multiple-Valued Logics 多值逻辑中的自动演绎
    海外直订10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 第十届自动扣减国际会议：德
    100 元券

    扣减国际会议第十届Kaiserslautern

    ￥1755
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 第十届自动扣减国际会议：德
    海外直订Advances in Natural Deduction: A Celebration of Dag Prawitz's Work 自然演绎法的进展:庆祝Dag Prawitz的工作
    100 元券

    演绎法CelebrationDeductionDag

    ￥1623
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Advances in Natural Deduction: A Celebration of Dag Prawitz's Work 自然演绎法的进展:庆祝Dag Prawitz的工作
    按需印刷不退不换The Functional Interpretation of Logical Deduction[9789814360951]
    100 元券

    Interpretation9789814360951FunctionalDeduction

    ￥1278
    0
    上海外文图书音像专营店
    上海外文图书音像专营店

    发布了

    按需印刷不退不换The Functional Interpretation of Logical Deduction[9789814360951]
    海外直订Perspectives on Deduction: Contemporary Studies in the Philosophy, History and F Perspectiv
    100 元券

    PerspectivesContemporaryPhilosophyPerspectiv

    ￥1490
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Perspectives on Deduction: Contemporary Studies in the Philosophy, History and F Perspectiv
    海外直订Prawitz's Epistemic Grounding: An Investigation Into the Power of Deduction 普拉维茨的认知基础:演绎能力的考
    100 元券

    维茨普拉Investigation认知

    ￥1371
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Prawitz's Epistemic Grounding: An Investigation Into the Power of Deduction 普拉维茨的认知基础:演绎能力的考
    海外直订Kant's Radical Subjectivism: Perspectives on the Transcendental Deduction 康德的激进主观主义:先验演绎的观点
    100 元券

    康德先验激进主观主义

    ￥1237
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Kant's Radical Subjectivism: Perspectives on the Transcendental Deduction 康德的激进主观主义:先验演绎的观点
    海外直订Automated Deduction - Cade-13: 13th International Conference on Automated Deduct 自动扣款——Cade-13：第
    100 元券

    Automated扣款CadeInternational

    ￥1225
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - Cade-13: 13th International Conference on Automated Deduct 自动扣款——Cade-13：第
    海外直订A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence 人工智能中演绎推理的多值方法
    100 元券

    人工智能Intelligence推理Artificial

    ￥1225
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence 人工智能中演绎推理的多值方法
    海外直订9th International Conference on Automated Deduction: Argonne, Illinois, Usa, May 第九届自动扣除国际会议:198
    100 元券

    国际会议扣除InternationalConference

    ￥1225
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订9th International Conference on Automated Deduction: Argonne, Illinois, Usa, May 第九届自动扣除国际会议:198
    海外直订Automated Deduction - Cade-11: 11th International Conference on Automated Deduct 自动扣减——Cade-11：第
    100 元券

    Automated扣减CadeInternational

    ￥1225
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - Cade-11: 11th International Conference on Automated Deduct 自动扣减——Cade-11：第
    海外直订7th International Conference on Automated Deduction: Proceedings 第七届自动扣减国际会议：会议记录
    100 元券

    扣减会议记录国际会议International

    ￥1225
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订7th International Conference on Automated Deduction: Proceedings 第七届自动扣减国际会议：会议记录
    海外直订Labelled Deduction 标记扣除
    100 元券

    扣除标记DeductionLabelled

    ￥1225
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Labelled Deduction 标记扣除
    海外直订Labelled Deduction 标记扣除
    100 元券

    扣除标记DeductionLabelled

    ￥1225
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Labelled Deduction 标记扣除
    海外直订A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence 人工智能中演绎推理的多值方法
    100 元券

    人工智能Intelligence推理Artificial

    ￥1225
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence 人工智能中演绎推理的多值方法
    海外直订Deduction, Computation, Experiment: Exploring the Effectiveness of Proof 演绎、计算、实验:证明有效性的探索
    100 元券

    EffectivenessComputationExperimentDeduction

    ￥1103
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Deduction, Computation, Experiment: Exploring the Effectiveness of Proof 演绎、计算、实验:证明有效性的探索
    海外直订Advances in Natural Deduction: A Celebration of Dag Prawitz's Work 自然演绎法的进展:庆祝Dag Prawitz的工作
    100 元券

    演绎法CelebrationDeductionDag

    ￥1043
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Advances in Natural Deduction: A Celebration of Dag Prawitz's Work 自然演绎法的进展:庆祝Dag Prawitz的工作
    海外直订Automated Deduction - CADE 26 自动扣除-CADE 26
    50 元券

    CADE扣除AutomatedDeduction

    ￥886
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - CADE 26 自动扣除-CADE 26
    海外直订Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs 一般代数逻辑中的演绎定理和
    50 元券

    代数定理ConstructiveAlgebraic

    ￥862
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs 一般代数逻辑中的演绎定理和
    海外直订Human Reasoning: The Psychology of Deduction 人类推理:演绎心理学
    50 元券

    推理Psychology心理学Reasoning

    ￥678
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Human Reasoning: The Psychology of Deduction 人类推理:演绎心理学
    海外直订Automated Deduction - Cade-25: 25th International Conference on Automated Deduct 自动扣减——Cade-25：第
    50 元券

    Automated扣减CadeInternational

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - Cade-25: 25th International Conference on Automated Deduct 自动扣减——Cade-25：第
    海外直订Automated Deduction in Geometry: Second International Workshop, Adg'98, Beijing, 几何的自动演绎:第二届国际
    50 元券

    International几何第二届Automated

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Geometry: Second International Workshop, Adg'98, Beijing, 几何的自动演绎:第二届国际
    海外直订Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesvil 几何的自动推导:第五届国际
    50 元券

    推导第五届International几何

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesvil 几何的自动推导:第五届国际
    海外直订Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, G 几何自动演绎：第八届国际研
    50 元券

    International几何AutomatedDeduction

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, G 几何自动演绎：第八届国际研
    海外直订Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduc 自动扣减——Cade
    50 元券

    Automated扣减CadeInternational

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduc 自动扣减——Cade
    海外直订Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich,
    50 元券

    InternationalAutomatedDeductionGeometry

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich,
    海外直订Automated Deduction - Cade-15: 15th International Conference on Automated Deduct 自动扣除- Cade-15:第
    50 元券

    AutomatedCade扣除International

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - Cade-15: 15th International Conference on Automated Deduct 自动扣除- Cade-15:第
    海外直订Automated Deduction in Classical and Non-Classical Logics: Selected Papers 经典与非经典逻辑的自动演绎:论文
    50 元券

    Classical经典AutomatedDeduction

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Classical and Non-Classical Logics: Selected Papers 经典与非经典逻辑的自动演绎:论文
    海外直订Automated Deduction in Geometry: International Workshop on Automated Deduction i 几何自动演绎:几何自动演绎
    50 元券

    几何AutomatedDeduction演绎

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Geometry: International Workshop on Automated Deduction i 几何自动演绎:几何自动演绎
    海外直订Automated Deduction - Cade-16: 16th International Conference on Automated Deduct 自动扣除- Cade-16:第
    50 元券

    AutomatedCade扣除International

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - Cade-16: 16th International Conference on Automated Deduct 自动扣除- Cade-16:第
    海外直订Automated Deduction - CADE-21: 21st International Conference on Automated Deduct 自动扣减——CADE
    50 元券

    Automated扣减CADEInternational

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - CADE-21: 21st International Conference on Automated Deduct 自动扣减——CADE
    海外直订Automated Deduction in Geometry 几何中的自动推理
    50 元券

    几何推理AutomatedDeduction

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Geometry 几何中的自动推理
    海外直订Automated Deduction - Cade-22: 22nd International Conference on Automated Deduct 自动扣除- Cade
    50 元券

    AutomatedCade扣除International

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - Cade-22: 22nd International Conference on Automated Deduct 自动扣除- Cade
    海外直订Automated Deduction - Cade-14: 14th International Conference on Automated Deduct 自动扣除- cad1
    50 元券

    Automated扣除InternationalConference

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - Cade-14: 14th International Conference on Automated Deduct 自动扣除- cad1
    海外直订Explanation, Causation and Deduction 解释、因果和演绎
    50 元券

    因果ExplanationCausationDeduction

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Explanation, Causation and Deduction 解释、因果和演绎
    海外直订Automated Deduction - Cade-20: 20th International Conference on Automated Deduct 自动扣除——Cade-20：第
    50 元券

    AutomatedCade扣除International

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - Cade-20: 20th International Conference on Automated Deduct 自动扣除——Cade-20：第
    海外直订Automated Deduction -- Cade-24: 24th International Conference on Automated Deduc 自动扣减——Cade
    50 元券

    Automated扣减CadeInternational

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction -- Cade-24: 24th International Conference on Automated Deduc 自动扣减——Cade
    海外直订Automated Deduction - Cade-17: 17th International Conference on Automated Deduct 自动扣减——Cade-17:2
    50 元券

    Automated扣减CadeInternational

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - Cade-17: 17th International Conference on Automated Deduct 自动扣减——Cade-17:2
    海外直订The Relativistic Deduction: Epistemological Implications of the Theory of Relati 相对论推论：相对论的认识论
    50 元券

    相对论认识论推论Epistemological

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订The Relativistic Deduction: Epistemological Implications of the Theory of Relati 相对论推论：相对论的认识论
    海外直订Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg 几何的自动演绎:第四届国际
    50 元券

    International第四届几何Automated

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg 几何的自动演绎:第四届国际
    海外直订Automated Deduction in Equational Logic and Cubic Curves 等式逻辑和三次曲线的自动推导
    50 元券

    推导等式Equational曲线

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Equational Logic and Cubic Curves 等式逻辑和三次曲线的自动推导
    海外直订Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, 几何自动推导：第七届国际研
    50 元券

    推导International几何Automated

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, 几何自动推导：第七届国际研
    海外直订Automated Deduction -- Cade-12: 12th International Conference on Automated Deduc 自动扣除——Cade-12:1
    50 元券

    AutomatedCade扣除International

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订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：美
    50 元券

    Automated扣减CadeInternational

    ￥612
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - Cade-19: 19th International Conference on Automated Deduct 自动扣减——Cade-19：美
    海外直订Deduction Systems 扣除制度
    50 元券

    扣除DeductionSystems海外

    ￥566
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Deduction Systems 扣除制度
    海外直订Automated Deduction in Geometry: 9th International Workshop, Adg 2012, Edinburgh 几何自动演绎：第九届国际研
    50 元券

    International几何AutomatedDeduction

    ￥559
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction in Geometry: 9th International Workshop, Adg 2012, Edinburgh 几何自动演绎：第九届国际研
    海外直订Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs 计算机科学家的应用逻辑：计
    50 元券

    ComputationalScientists科学家Deduction

    ￥504
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs 计算机科学家的应用逻辑：计
    【3-4周达】精装 Kant's Transcendental Deduction : An Analysis of Main Themes in His Critical Philosophy [9780792315711]
    249 元券

    Transcendental9780792315711精装Philosophy

    ￥2249
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】精装 Kant's Transcendental Deduction : An Analysis of Main Themes in His Critical Philosophy [9780792315711]
    【3-4周达】Kant's Transcendental Deduction : An Analysis of Main Themes in His Critical Philosophy [9789048141142]
    237 元券

    Transcendental9789048141142PhilosophyDeduction

    ￥2161
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Kant's Transcendental Deduction : An Analysis of Main Themes in His Critical Philosophy [9789048141142]
    海外直订Automated Deduction - Cade 28: 28th International Conference on Automated Deduct 自动扣除- Cade
    30 元券

    AutomatedCade扣除International

    ￥459
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Automated Deduction - Cade 28: 28th International Conference on Automated Deduct 自动扣除- Cade
    首页 1234 >末页