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

    ￥-

    颜色：
    预售 按需印刷 The Art of Proving Binomial Identities
    165 元券

    预售IdentitiesBinomial印刷

    ￥855
    0
    中图上海图书音像店
    中图上海图书音像店

    发布了

    预售 按需印刷 The Art of Proving Binomial Identities
    海外直订New Directions for Mathematics Education Research on Proving: Honoring the Legac 数学教育研究证明的新方向：
    100 元券

    教育研究MathematicsDirectionsEducation

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

    发布了

    海外直订New Directions for Mathematics Education Research on Proving: Honoring the Legac 数学教育研究证明的新方向：
    按需印刷不退不换图书The Art of Proving Binomial Identities[9780815379423]
    100 元券

    9780815379423IdentitiesBinomial印刷

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

    发布了

    按需印刷不退不换图书The Art of Proving Binomial Identities[9780815379423]
    海外直订Advances in Mathematics Education Research on Proof and Proving: An Internationa 国际视野下的证明与证明数学
    100 元券

    证明InternationaMathematicsEducation

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

    发布了

    海外直订Advances in Mathematics Education Research on Proof and Proving: An Internationa 国际视野下的证明与证明数学
    海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
    100 元券

    定理AutomatedPractice证明

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

    发布了

    海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
    海外直订System Verification: Proving the Design Solution Satisfies the Requirements 系统验证：证明设计方案满足要求
    100 元券

    VerificationRequirementsSatisfiesSolution

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

    发布了

    海外直订System Verification: Proving the Design Solution Satisfies the Requirements 系统验证：证明设计方案满足要求
    预订不退不换Interactive Theorem Proving and Program Development
    100 元券

    InteractiveDevelopment预订Theorem

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

    发布了

    预订不退不换Interactive Theorem Proving and Program Development
    海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
    100 元券

    定理AutomatedPractice证明

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

    发布了

    海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
    海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发：
    100 元券

    定理交互式程序开发Interactive

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

    发布了

    海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发：
    按需印刷不退不换Proving Bribery, Fraud and Money Laundering in I
    100 元券

    Laundering印刷ProvingBribery

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

    发布了

    按需印刷不退不换Proving Bribery, Fraud and Money Laundering in I
    海外直订Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 混合系统的逻辑分析：复杂动力学的
    100 元券

    动力学混合TheoremsAnalysis

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

    发布了

    海外直订Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 混合系统的逻辑分析：复杂动力学的
    海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势
    100 元券

    定理VerificationAutomatedHardware

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

    发布了

    海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势
    海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明
    100 元券

    定理力学几何Mechanical

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

    发布了

    海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明
    海外直订Theorem Proving with the Real Numbers 用实数证明定理
    100 元券

    实数定理证明Theorem

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

    发布了

    海外直订Theorem Proving with the Real Numbers 用实数证明定理
    海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明
    100 元券

    定理力学几何Mechanical

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

    发布了

    海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明
    海外直订A Combination of Geometry Theorem Proving and Nonstandard Analysis with Applicat 几何定理证明与非标准分析的
    100 元券

    非标定理几何Combination

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

    发布了

    海外直订A Combination of Geometry Theorem Proving and Nonstandard Analysis with Applicat 几何定理证明与非标准分析的
    海外直订Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geome 数学机械化:机械几何定理证
    100 元券

    Mechanical定理机械化Mechanization

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

    发布了

    海外直订Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geome 数学机械化:机械几何定理证
    海外直订Automated Theorem Proving 自动定理证明
    100 元券

    定理Automated证明Theorem

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

    发布了

    海外直订Automated Theorem Proving 自动定理证明
    海外直订A Combination of Geometry Theorem Proving and Nonstandard Analysis with Applicat 几何定理证明与非标准分析的
    100 元券

    非标定理几何Combination

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

    发布了

    海外直订A Combination of Geometry Theorem Proving and Nonstandard Analysis with Applicat 几何定理证明与非标准分析的
    海外直订The Art of Proving Binomial Identities 二项式恒等式的证明艺术
    100 元券

    恒等式二项式IdentitiesBinomial

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

    发布了

    海外直订The Art of Proving Binomial Identities 二项式恒等式的证明艺术
    按需印刷不退不换Probabilistic Analysis using Theorem Proving[9783639094725]
    100 元券

    9783639094725ProbabilisticAnalysis印刷

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

    发布了

    按需印刷不退不换Probabilistic Analysis using Theorem Proving[9783639094725]
    海外直订Symbolic Logic and Mechanical Theorem Proving 符号逻辑与机械定理证明
    100 元券

    定理Mechanical符号Symbolic

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

    发布了

    海外直订Symbolic Logic and Mechanical Theorem Proving 符号逻辑与机械定理证明
    海外直订First-Order Logic and Automated Theorem Proving 一阶逻辑与自动定理证明
    100 元券

    定理Automated逻辑证明

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

    发布了

    海外直订First-Order Logic and Automated Theorem Proving 一阶逻辑与自动定理证明
    海外直订Interactive Theorem Proving 交互式定理证明
    100 元券

    定理交互式Interactive证明

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

    发布了

    海外直订Interactive Theorem Proving 交互式定理证明
    海外直订Proving the Titius Bode law forms the cosmos: (...And not Only the Solar system) 证明提修斯-伯德定律形成宇
    100 元券

    修斯伯德定律证明

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

    发布了

    海外直订Proving the Titius Bode law forms the cosmos: (...And not Only the Solar system) 证明提修斯-伯德定律形成宇
    海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发：
    100 元券

    定理交互式程序开发Interactive

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

    发布了

    海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发：
    海外直订Cosmic Secrets Decoded Part 1: Proving the Titius Bode law Wrking 宇宙秘密解密:证明提提乌斯·波德定律
    50 元券

    乌斯波德提提定律

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

    发布了

    海外直订Cosmic Secrets Decoded Part 1: Proving the Titius Bode law Wrking 宇宙秘密解密:证明提提乌斯·波德定律
    海外直订As the World Turns: The History of Proving the Earth Rotates 随着世界的转动:证明地球转动的历史
    50 元券

    转动随着证明地球

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

    发布了

    海外直订As the World Turns: The History of Proving the Earth Rotates 随着世界的转动:证明地球转动的历史
    海外直订How the Solar System Forms (In Colour): Proving the Titius Bode law working 太阳系如何形成（彩色）：证明提
    50 元券

    太阳系彩色证明形成

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

    发布了

    海外直订How the Solar System Forms (In Colour): Proving the Titius Bode law working 太阳系如何形成（彩色）：证明提
    海外直订Reading, Writing, and Proving 阅读，写作和证明
    50 元券

    证明写作ReadingWriting

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

    发布了

    海外直订Reading, Writing, and Proving 阅读，写作和证明
    海外直订Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 利用交互定理证明的未来能源系统的
    50 元券

    定理Interactive交互Analysis

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

    发布了

    海外直订Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 利用交互定理证明的未来能源系统的
    海外直订Interactive Theorem Proving in Software Engineering 软件工程中的交互定理证明
    50 元券

    软件工程定理InteractiveEngineering

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

    发布了

    海外直订Interactive Theorem Proving in Software Engineering 软件工程中的交互定理证明
    海外直订Art of Proving Binomial Identities 证明二项式恒等式的艺术
    50 元券

    恒等式二项式IdentitiesBinomial

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

    发布了

    海外直订Art of Proving Binomial Identities 证明二项式恒等式的艺术
    海外直订医药图书Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 20 高阶逻辑中的定理证
    50 元券

    医药图书高阶定理International

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

    发布了

    海外直订医药图书Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 20 高阶逻辑中的定理证
    海外直订Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En 交互式定理证明：第二届国际
    50 元券

    定理交互式InternationalInteractive

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

    发布了

    海外直订Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En 交互式定理证明：第二届国际
    海外直订Interactive Theorem Proving: 4th International Conference, Itp 2013, Rennes, Fra 交互式定理证明：第四届国际
    50 元券

    定理交互式International第四届

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

    发布了

    海外直订Interactive Theorem Proving: 4th International Conference, Itp 2013, Rennes, Fra 交互式定理证明：第四届国际
    海外直订Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Par 交互式定理证明：第五届国际
    50 元券

    定理交互式第五届International

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

    发布了

    海外直订Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Par 交互式定理证明：第五届国际
    海外直订Interactive Theorem Proving 交互式定理证明
    50 元券

    定理交互式Interactive证明

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

    发布了

    海外直订Interactive Theorem Proving 交互式定理证明
    海外直订Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 20 高阶逻辑中的定理证明：第14
    50 元券

    高阶定理InternationalConference

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

    发布了

    海外直订Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 20 高阶逻辑中的定理证明：第14
    海外直订Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 20 高阶逻辑中的定理证明:第18
    50 元券

    高阶定理InternationalConference

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

    发布了

    海外直订Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 20 高阶逻辑中的定理证明:第18
    海外直订Theorem Proving in Higher Order Logics 高阶逻辑中的定理证明
    50 元券

    高阶定理逻辑证明

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

    发布了

    海外直订Theorem Proving in Higher Order Logics 高阶逻辑中的定理证明
    海外直订Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97 高阶逻辑中的定理证明：第十
    50 元券

    高阶定理InternationalConference

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

    发布了

    海外直订Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97 高阶逻辑中的定理证明：第十
    海外直订Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 20 高阶逻辑中的定理证明：第22
    50 元券

    高阶定理InternationalConference

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

    发布了

    海外直订Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 20 高阶逻辑中的定理证明：第22
    海外直订Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98 高阶逻辑定理的证明:第11届
    50 元券

    高阶定理InternationalConference

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

    发布了

    海外直订Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98 高阶逻辑定理的证明:第11届
    海外直订Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo 用分析表法证明定理:1996年
    50 元券

    定理InternationalAnalyticTableaux

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

    发布了

    海外直订Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo 用分析表法证明定理:1996年
    海外直订Higher Order Logic Theorem Proving and Its Applications: 8th International Works 高阶逻辑定理证明及其应用：
    50 元券

    高阶定理InternationalApplications

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

    发布了

    海外直订Higher Order Logic Theorem Proving and Its Applications: 8th International Works 高阶逻辑定理证明及其应用：
    海外直订Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 20 高阶逻辑中的定理证明:第15
    50 元券

    高阶定理InternationalConference

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

    发布了

    海外直订Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 20 高阶逻辑中的定理证明:第15
    海外直订Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 20 高阶逻辑中的定理证明:第16
    50 元券

    高阶定理InternationalConference

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

    发布了

    海外直订Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 20 高阶逻辑中的定理证明:第16
    海外直订Theorem Proving with Analytic Tableaux and Related Methods: 4th International Wo 用解析表和相关方法证明定理
    50 元券

    定理InternationalAnalyticTableaux

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

    发布了

    海外直订Theorem Proving with Analytic Tableaux and Related Methods: 4th International Wo 用解析表和相关方法证明定理
    海外直订Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 20 高阶逻辑中的定理证明：第20
    50 元券

    高阶定理InternationalConference

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

    发布了

    海外直订Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 20 高阶逻辑中的定理证明：第20
    海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会
    50 元券

    国际会定理第六届International

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

    发布了

    海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会
    海外直订Proof and Proving in Mathematics Education: The 19th ICMI Study 数学教育中的证明与证明：第19次ICMI研究
    50 元券

    证明ICMIMathematicsEducation

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

    发布了

    海外直订Proof and Proving in Mathematics Education: The 19th ICMI Study 数学教育中的证明与证明：第19次ICMI研究
    海外直订From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio 从逻辑设计到逻辑编程:定理
    50 元券

    逻辑设计Logic定理Programming

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

    发布了

    海外直订From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio 从逻辑设计到逻辑编程:定理
    海外直订Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99 高阶逻辑定理证明:第十二届
    50 元券

    高阶定理InternationalConference

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

    发布了

    海外直订Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99 高阶逻辑定理证明:第十二届
    海外直订Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 20 高阶逻辑中的定理证明：第17
    50 元券

    高阶定理InternationalConference

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

    发布了

    海外直订Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 20 高阶逻辑中的定理证明：第17
    海外直订Higher Order Logic Theorem Proving and Its Applications: 6th International Works 高阶逻辑定理证明及其应用：
    50 元券

    高阶定理InternationalApplications

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

    发布了

    海外直订Higher Order Logic Theorem Proving and Its Applications: 6th International Works 高阶逻辑定理证明及其应用：
    海外直订Higher Order Logic Theorem Proving and Its Applications: 7th International Works 高阶逻辑定理证明及其应用：
    50 元券

    高阶定理InternationalApplications

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

    发布了

    海外直订Higher Order Logic Theorem Proving and Its Applications: 7th International Works 高阶逻辑定理证明及其应用：
    海外直订David Maisel: Proving Ground 大卫·麦瑟尔:试验场
    50 元券

    瑟尔大卫试验场Proving

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

    发布了

    海外直订David Maisel: Proving Ground 大卫·麦瑟尔:试验场
    海外直订Geometric Inequalities: Methods of Proving 几何不等式：证明方法
    50 元券

    不等式Inequalities几何Geometric

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

    发布了

    海外直订Geometric Inequalities: Methods of Proving 几何不等式：证明方法
    海外直订Automated Theorem Proving in Software Engineering 软件工程中定理的自动证明
    50 元券

    软件工程定理EngineeringAutomated

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

    发布了

    海外直订Automated Theorem Proving in Software Engineering 软件工程中定理的自动证明
    首页 12345 >末页