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

    ￥-

    颜色：
    按需印刷不退不换图书The Art of Proving Binomial Identities[9780815379423]
    110 元券

    9780815379423IdentitiesBinomial印刷

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

    发布了

    按需印刷不退不换图书The Art of Proving Binomial Identities[9780815379423]
    预订不退不换Interactive Theorem Proving and Program Development
    110 元券

    InteractiveDevelopment预订Theorem

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

    发布了

    预订不退不换Interactive Theorem Proving and Program Development
    按需印刷不退不换Proving Bribery, Fraud and Money Laundering in I
    110 元券

    Laundering印刷ProvingBribery

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

    发布了

    按需印刷不退不换Proving Bribery, Fraud and Money Laundering in I
    按需印刷不退不换Probabilistic Analysis using Theorem Proving[9783639094725]
    110 元券

    9783639094725ProbabilisticAnalysis印刷

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

    发布了

    按需印刷不退不换Probabilistic Analysis using Theorem Proving[9783639094725]
    按需印刷不退不换Interactive Theorem Proving in Software Engineering[9783836457699]
    80 元券

    9783836457699InteractiveEngineeringSoftware

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

    发布了

    按需印刷不退不换Interactive Theorem Proving in Software Engineering[9783836457699]
    海外直订New Directions for Mathematics Education Research on Proving: Honoring the Legac 数学教育研究证明的新方向：
    50 元券

    教育研究MathematicsDirectionsEducation

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

    发布了

    海外直订New Directions for Mathematics Education Research on Proving: Honoring the Legac 数学教育研究证明的新方向：
    海外直订Advances in Mathematics Education Research on Proof and Proving: An Internationa 国际视野下的证明与证明数学
    50 元券

    证明InternationaMathematicsEducation

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

    发布了

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

    定理AutomatedPractice证明

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

    发布了

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

    VerificationRequirementsSatisfiesSolution

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

    发布了

    海外直订System Verification: Proving the Design Solution Satisfies the Requirements 系统验证：证明设计方案满足要求
    预售 按需印刷 The Art of Proving Binomial Identities
    50 元券

    预售IdentitiesBinomial印刷

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

    发布了

    预售 按需印刷 The Art of Proving Binomial Identities
    按需印刷不退不换Proving Shakespeare[9780557012619]
    50 元券

    9780557012619Shakespeare印刷Proving

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

    发布了

    按需印刷不退不换Proving Shakespeare[9780557012619]
    海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
    30 元券

    定理AutomatedPractice证明

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

    发布了

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

    定理交互式程序开发Interactive

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

    发布了

    海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发：
    海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势
    30 元券

    定理VerificationAutomatedHardware

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

    发布了

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

    动力学混合TheoremsAnalysis

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

    发布了

    海外直订Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 混合系统的逻辑分析：复杂动力学的
    海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明
    30 元券

    定理力学几何Mechanical

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

    发布了

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

    实数定理证明Theorem

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

    发布了

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

    定理力学几何Mechanical

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

    发布了

    海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明
    海外直订Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geome 数学机械化:机械几何定理证
    30 元券

    Mechanical定理机械化Mechanization

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

    发布了

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

    非标定理几何Combination

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

    发布了

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

    定理Automated证明Theorem

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

    发布了

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

    非标定理几何Combination

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

    发布了

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

    恒等式二项式IdentitiesBinomial

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

    发布了

    海外直订The Art of Proving Binomial Identities 二项式恒等式的证明艺术
    海外直订Symbolic Logic and Mechanical Theorem Proving 符号逻辑与机械定理证明
    30 元券

    定理Mechanical符号Symbolic

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

    发布了

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

    定理Automated逻辑证明

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

    发布了

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

    定理交互式Interactive证明

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

    发布了

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

    修斯伯德定律证明

    ￥1034
    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 交互式定理证明与程序开发：
    30 元券

    定理交互式程序开发Interactive

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

    发布了

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

    乌斯波德提提定律

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

    发布了

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

    转动随着证明地球

    ￥819
    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 太阳系如何形成（彩色）：证明提
    30 元券

    太阳系彩色证明形成

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

    发布了

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

    证明写作ReadingWriting

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

    发布了

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

    定理Interactive交互Analysis

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

    发布了

    海外直订Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 利用交互定理证明的未来能源系统的
    按需印刷不退不换The Proving Zone:Tory's Story[9780595099252]
    35 元券

    9780595099252印刷ProvingTory's

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

    发布了

    按需印刷不退不换The Proving Zone:Tory's Story[9780595099252]
    DUNGS MB-LE 053 B01 S22 Gas Multibloc Proving Gasarmatur Gas
    5 元券

    GasarmaturGasMultiblocProving

    ￥2236
    0
    淘金时代
    淘金时代

    发布了

    DUNGS MB-LE 053 B01 S22 Gas Multibloc Proving Gasarmatur Gas
    海外直订Interactive Theorem Proving in Software Engineering 软件工程中的交互定理证明
    30 元券

    软件工程定理InteractiveEngineering

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

    发布了

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

    恒等式二项式IdentitiesBinomial

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

    发布了

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

    医药图书高阶定理International

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

    发布了

    海外直订医药图书Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 20 高阶逻辑中的定理证
    海外直订Interactive Theorem Proving 交互式定理证明
    30 元券

    定理交互式Interactive证明

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

    发布了

    海外直订Interactive Theorem Proving 交互式定理证明
    海外直订Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En 交互式定理证明：第二届国际
    30 元券

    定理交互式InternationalInteractive

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

    发布了

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

    定理交互式International第四届

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

    发布了

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

    定理交互式第五届International

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

    发布了

    海外直订Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Par 交互式定理证明：第五届国际
    海外直订Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97 高阶逻辑中的定理证明：第十
    30 元券

    高阶定理InternationalConference

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

    发布了

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

    高阶定理InternationalConference

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

    发布了

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

    高阶定理逻辑证明

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

    发布了

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

    高阶定理InternationalConference

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

    发布了

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

    高阶定理InternationalConference

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

    发布了

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

    高阶定理InternationalConference

    ￥632
    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年
    30 元券

    定理InternationalAnalyticTableaux

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

    发布了

    海外直订Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo 用分析表法证明定理:1996年
    海外直订Theorem Proving with Analytic Tableaux and Related Methods: 4th International Wo 用解析表和相关方法证明定理
    30 元券

    定理InternationalAnalyticTableaux

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

    发布了

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

    高阶定理InternationalConference

    ￥632
    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
    30 元券

    高阶定理InternationalConference

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

    发布了

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

    高阶定理InternationalApplications

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

    发布了

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

    高阶定理InternationalConference

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

    发布了

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

    国际会定理第六届International

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

    发布了

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

    证明ICMIMathematicsEducation

    ￥632
    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 从逻辑设计到逻辑编程:定理
    30 元券

    逻辑设计Logic定理Programming

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

    发布了

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

    高阶定理InternationalConference

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

    发布了

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

    高阶定理InternationalConference

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

    发布了

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

    高阶定理InternationalApplications

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

    发布了

    海外直订Higher Order Logic Theorem Proving and Its Applications: 6th International Works 高阶逻辑定理证明及其应用：
    首页 12345 >末页