• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Theorem” 共421个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Automated Theorem Proving: Theory and Practice 自动定理证明:理论与实践

      定理AutomatedPractice证明

      海外直订Automated Theorem Proving: Theory and Practice 自动定理证明:理论与实践

      ¥1,587券后¥1,6470人已购买
      优惠券¥60 领券购买 
    • 海外直订The Potential Distribution Theorem and Models of Molecular Solutions 势分布定理与分子溶液模型

      分子溶液定理DistributionPotential

      海外直订The Potential Distribution Theorem and Models of Molecular Solutions 势分布定理与分子溶液模型

      ¥613券后¥6430人已购买
      优惠券¥30 领券购买 
    • 海外直订Abel's Theorem in Problems and Solutions: Based on the Lectures of Professor V.I 问题与解决方案中的阿贝尔定

      阿贝尔V.ISolutionsProfessor

      海外直订Abel's Theorem in Problems and Solutions: Based on the Lectures of Professor V.I 问题与解决方案中的阿贝尔定

      ¥1,407券后¥1,4470人已购买
      优惠券¥40 领券购买 
    • 海外直订A History of the Central Limit Theorem: From Classical to Modern Probability The 中心极限定理的历史:从古典

      定理ProbabilityClassical古典

      海外直订A History of the Central Limit Theorem: From Classical to Modern Probability The 中心极限定理的历史:从古典

      ¥1,596券后¥1,6560人已购买
      优惠券¥60 领券购买 
    • 海外直订The Mountain Pass Theorem: Variants, Generalizations and Some Applications 山路定理:变体、推广及其应用

      变体定理GeneralizationsApplications

      海外直订The Mountain Pass Theorem: Variants, Generalizations and Some Applications 山路定理:变体、推广及其应用

      ¥1,059券后¥1,0990人已购买
      优惠券¥40 领券购买 
    • 海外直订Taylor's Theorem - A Selection of Classic Mathematical Articles Containing Examp 泰勒定理——代数经典数学文

      学文泰勒代数定理

      海外直订Taylor's Theorem - A Selection of Classic Mathematical Articles Containing Examp 泰勒定理——代数经典数学文

      ¥341券后¥3510人已购买
      优惠券¥10 领券购买 
    • 海外直订Lectures on the Mordell-Weil Theorem 莫尔德尔-威尔定理讲座

      莫尔德尔威尔定理

      海外直订Lectures on the Mordell-Weil Theorem 莫尔德尔-威尔定理讲座

      ¥1,303券后¥1,3430人已购买
      优惠券¥40 领券购买 
    • 英文原版 The Mountain Pass Theorem 山路引理 变形 一般化及其应用 剑桥数学百科及应用系列 英文版 进口英语原版书籍

      原版剑桥一般化应用

      英文原版 The Mountain Pass Theorem 山路引理 变形 一般化及其应用 剑桥数学百科及应用系列 英文版 进口英语原版书籍

      ¥843券后¥8930人已购买
      优惠券¥50 领券购买 
    • 海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发:

      定理交互式程序开发Interactive

      海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发:

      ¥858券后¥8880人已购买
      优惠券¥30 领券购买 
    • 海外直订From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio 从逻辑设计到逻辑编程:定理

      逻辑设计Logic定理Programming

      海外直订From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio 从逻辑设计到逻辑编程:定理

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Gleason's Theorem and Its Applications 格里森定理及其应用

      格里森定理ApplicationsGleason's

      海外直订Gleason's Theorem and Its Applications 格里森定理及其应用

      ¥1,303券后¥1,3430人已购买
      优惠券¥40 领券购买 
    • 海外直订Higher Order Logic Theorem Proving and Its Applications: 7th International Works 高阶逻辑定理证明及其应用:

      高阶定理InternationalApplications

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Theorem Proving with Analytic Tableaux and Related Methods: 4th International Wo 用解析表和相关方法证明定理

      定理InternationalAnalyticTableaux

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Bell's Theorem, Quantum Theory and Conceptions of the Universe 贝尔定理、量子理论和宇宙概念

      贝尔量子定理Conceptions

      海外直订Bell's Theorem, Quantum Theory and Conceptions of the Universe 贝尔定理、量子理论和宇宙概念

      ¥2,834券后¥2,8940人已购买
      优惠券¥60 领券购买 
    • 海外直订Loewner's Theorem on Monotone Matrix Functions 单调矩阵函数的Loewner定理

      定理矩阵单调函数

      海外直订Loewner's Theorem on Monotone Matrix Functions 单调矩阵函数的Loewner定理

      ¥1,097券后¥1,1370人已购买
      优惠券¥40 领券购买 
    • 海外直订13 Lectures on Fermat's Last Theorem 13节费马最后定理讲座

      费马定理讲座Lectures

      海外直订13 Lectures on Fermat's Last Theorem 13节费马最后定理讲座

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 预订The Hyperbolization Theorem for Fibered 3-manifolds

      Hyperbolizationmanifolds预订Theorem

      预订The Hyperbolization Theorem for Fibered 3-manifolds

      ¥968券后¥1,0680人已购买
      优惠券¥100 领券购买 
    • 按需印刷Abel's Theorem And The Allied Theory[9780548645147]

      9780548645147印刷TheoremAbel's

      按需印刷Abel's Theorem And The Allied Theory[9780548645147]

      ¥339券后¥3690人已购买
      优惠券¥30 领券购买 
    • 海外直订Modular Forms and Fermat's Last Theorem 模形式与费马最后定理

      费马定理Fermat's形式

      海外直订Modular Forms and Fermat's Last Theorem 模形式与费马最后定理

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订The Mountain Pass Theorem: Variants, Generalizations and Some Applications 山路定理:变体、推广及其应用

      变体定理GeneralizationsApplications

      海外直订The Mountain Pass Theorem: Variants, Generalizations and Some Applications 山路定理:变体、推广及其应用

      ¥1,691券后¥1,7510人已购买
      优惠券¥60 领券购买 
    • Fermat's Last Theorem 费马大定理 一个困惑了世间智者358年的谜 改变对数学的刻板印象

      费马刻板定理智者

      Fermat's Last Theorem 费马大定理 一个困惑了世间智者358年的谜 改变对数学的刻板印象

      ¥245券后¥2650人已购买
      优惠券¥20 领券购买 
    • 海外直订Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 20 高阶逻辑中的定理证明:第17

      高阶定理InternationalConference

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订The Fundamental Theorem of Algebra 代数基本定理

      代数定理FundamentalTheorem

      海外直订The Fundamental Theorem of Algebra 代数基本定理

      ¥640券后¥6700人已购买
      优惠券¥30 领券购买 
    • 海外直订Emmy Noether's Wonderful Theorem 埃米·诺特的奇妙定理

      埃米诺特定理Noether's

      海外直订Emmy Noether's Wonderful Theorem 埃米·诺特的奇妙定理

      ¥338券后¥3482人已购买
      优惠券¥10 领券购买 
    • 海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会

      国际会定理第六届International

      海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会

      ¥542券后¥5520人已购买
      优惠券¥10 领券购买 
    • 海外直订Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99 高阶逻辑定理证明:第十二届

      高阶定理InternationalConference

      海外直订Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99 高阶逻辑定理证明:第十二届

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Automated Theorem Proving in Software Engineering 软件工程中定理的自动证明

      软件工程定理EngineeringAutomated

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

      ¥584券后¥5940人已购买
      优惠券¥10 领券购买 
    • 英文原版 The Arrow Impossibility Theorem 选择的悖论 阿罗不可能定理与社会选择真相 Eric Maskin精装 英文版 进口英语原版书籍

      原版阿罗选择悖论

      英文原版 The Arrow Impossibility Theorem 选择的悖论 阿罗不可能定理与社会选择真相 Eric Maskin精装 英文版 进口英语原版书籍

      ¥186.2券后¥196.20人已购买
      优惠券¥10 领券购买 
    • 按需印刷Fermat's Last Theorem - Finding a new surprisingly simple demonstration?[9781326589714]

      demonstration9781326589714surprisinglyFermat's

      按需印刷Fermat's Last Theorem - Finding a new surprisingly simple demonstration?[9781326589714]

      ¥613券后¥6530人已购买
      优惠券¥40 领券购买 
    • 海外直订A History of the Central Limit Theorem: From Classical to Modern Probability The 中心极限定理的历史:从古典

      定理ProbabilityClassical古典

      海外直订A History of the Central Limit Theorem: From Classical to Modern Probability The 中心极限定理的历史:从古典

      ¥1,697券后¥1,7570人已购买
      优惠券¥60 领券购买 
    • The Pythagorean Theorem 勾股定理 悠悠4000年的故事 Eli Maor

      勾股定理Pythagorean悠悠Theorem

      The Pythagorean Theorem 勾股定理 悠悠4000年的故事 Eli Maor

      ¥168券后¥1780人已购买
      优惠券¥10 领券购买 
    • 海外直订Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs 一般代数逻辑中的演绎定理和

      代数定理ConstructiveAlgebraic

      海外直订Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs 一般代数逻辑中的演绎定理和

      ¥882券后¥9120人已购买
      优惠券¥30 领券购买 
    • 海外直订The Implicit Function Theorem: History, Theory, and Applications 隐函数定理:历史、理论和应用

      定理Applications函数Implicit

      海外直订The Implicit Function Theorem: History, Theory, and Applications 隐函数定理:历史、理论和应用

      ¥835券后¥8650人已购买
      优惠券¥30 领券购买 
    • 海外直订Nevanlinna's Theory of Value Distribution: The Second Main Theorem and Its Error Nevanlinna的价值分布

      Nevanlinna'sDistributionNevanlinna分布

      海外直订Nevanlinna's Theory of Value Distribution: The Second Main Theorem and Its Error Nevanlinna的价值分布

      ¥1,097券后¥1,1370人已购买
      优惠券¥40 领券购买 
    • 海外直订Higgs Boson Mass predicted by the Four Color Theorem 用四色定理预测希格斯玻色子质量

      希格斯玻色子定理predicted

      海外直订Higgs Boson Mass predicted by the Four Color Theorem 用四色定理预测希格斯玻色子质量

      ¥307券后¥3170人已购买
      优惠券¥10 领券购买 
    • 海外直订Spacetime Geometry of Relativity: Extending Pythagorean Theorem 相对论的时空几何:扩展毕达哥拉斯定理

      毕达哥拉斯相对论定理几何

      海外直订Spacetime Geometry of Relativity: Extending Pythagorean Theorem 相对论的时空几何:扩展毕达哥拉斯定理

      ¥1,862券后¥1,9220人已购买
      优惠券¥60 领券购买 
    • 海外直订The Fundamental Theorem of Algebra 代数基本定理

      代数定理FundamentalTheorem

      海外直订The Fundamental Theorem of Algebra 代数基本定理

      ¥858券后¥8880人已购买
      优惠券¥30 领券购买 
    • 海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发:

      定理交互式程序开发Interactive

      海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发:

      ¥1,018券后¥1,0580人已购买
      优惠券¥40 领券购买 
    • 海外直订Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geome 数学机械化:机械几何定理证

      Mechanical定理机械化Mechanization

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

      ¥985券后¥1,0250人已购买
      优惠券¥40 领券购买 
    • 海外直订On Sum of Divisors and Robin's Theorem 关于除数和与罗宾定理

      罗宾除数定理Divisors

      海外直订On Sum of Divisors and Robin's Theorem 关于除数和与罗宾定理

      ¥331券后¥3410人已购买
      优惠券¥10 领券购买 
    上一页 1 ...  3   4  5  6   7  ... 11 下一页