Theorem

价格：全部￥0 - 200 ￥200 - 500 ￥500以上

￥-

综合有券销量↓价格↑人气↓

【4周达】Goedel's Theorem: An Incomplete Guide to Its Use and Abuse [9781568812380]

25.4 元券

￥481.6; 去看看
【4周达】Goedel's Theorem: An Incomplete Guide to Its Use and Abuse [9781568812380]

海外直订Godel's Theorem in Focus 聚焦哥德尔定理

50 元券

￥466; 去看看
海外直订Godel's Theorem in Focus 聚焦哥德尔定理

【4周达】Elastic Stresses in Structures: Translated from Castigliano's Theorem de l'equibre des syste... [9781108070263]

25.8 元券

￥490.2; 去看看
【4周达】Elastic Stresses in Structures: Translated from Castigliano's Theorem de l'equibre des syste... [9781108070263]

海外直订Hilbert Space: Compact Operators and the Trace Theorem 希尔伯特空间：紧致算子与迹定理

50 元券

￥468; 去看看
海外直订Hilbert Space: Compact Operators and the Trace Theorem 希尔伯特空间：紧致算子与迹定理

预订关于算术黎曼定理的讲座 Lectures on the Arithmetic Riemann-Roch Theorem. (AM-127), Volume 127 [9780691025445]

25.9 元券

￥492.1; 去看看
预订关于算术黎曼定理的讲座 Lectures on the Arithmetic Riemann-Roch Theorem. (AM-127), Volume 127 [9780691025445]

【4周达】Noether's Theorem and Symmetry [9783039282340]

26 元券

￥493; 去看看
【4周达】Noether's Theorem and Symmetry [9783039282340]

海外直订Interactive Theorem Proving 交互式定理证明

50 元券

￥470; 去看看
海外直订Interactive Theorem Proving 交互式定理证明

海外直订The Four-Color Theorem: History, Topological Foundations, and Idea of Proof 四色定理:历史、拓扑基础和证明思想

50 元券

￥470; 去看看
海外直订The Four-Color Theorem: History, Topological Foundations, and Idea of Proof 四色定理:历史、拓扑基础和证明思想

预订 A Riemann- Roch theorem for compact spaces [9786202531931]

26.1 元券

￥494.9; 去看看
预订 A Riemann- Roch theorem for compact spaces [9786202531931]

【4周达】A Guide to the Classification Theorem for Compact Surfaces [9783642437106]

26.1 元券

￥494.9; 去看看
【4周达】A Guide to the Classification Theorem for Compact Surfaces [9783642437106]

预订 Noether's Theorem [9786202517386]

26.1 元券

￥494.9; 去看看
预订 Noether's Theorem [9786202517386]

【预售】Gödel’s Theorem

30 元券

￥497; 去看看
【预售】Gödel’s Theorem

【4周达】Advanced Calculus: Differential Calculus and Stokes' Theorem [9783110438215]

26.7 元券

￥506.3; 去看看
【4周达】Advanced Calculus: Differential Calculus and Stokes' Theorem [9783110438215]

预订 Fermat's Last Theorem: Basic Tools [9780821898482]

26.8 元券

￥509.2; 去看看
预订 Fermat's Last Theorem: Basic Tools [9780821898482]

预订 Fermat's Last Theorem: The Proof [9780821898499]

26.8 元券

￥509.2; 去看看
预订 Fermat's Last Theorem: The Proof [9780821898499]

预售按需印刷 Noether s Theorem

54.5 元券

￥490.5; 去看看
预售按需印刷 Noether s Theorem

海外直订A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions 高阶凸函数的Bohr-Mo

50 元券

￥496; 去看看
海外直订A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions 高阶凸函数的Bohr-Mo

海外直订Evolutionary Equations: Picard's Theorem for Partial Differential Equations, and 进化方程:偏微分方程

50 元券

￥496; 去看看
海外直订Evolutionary Equations: Picard's Theorem for Partial Differential Equations, and 进化方程:偏微分方程

【预售】The Potential Distribution Theorem and Models of

30 元券

￥517; 去看看
【预售】The Potential Distribution Theorem and Models of

预订 Basics of Nonlinear Optimization: Around the Weierstrass Theorem 非线性优化基础：围绕着魏尔施特拉斯定理: 9783031771

30 元券

￥517; 去看看
预订 Basics of Nonlinear Optimization: Around the Weierstrass Theorem 非线性优化基础：围绕着魏尔施特拉斯定理: 9783031771

海外直订Interactive Theorem Proving: 4th International Conference, Itp 2013, Rennes, Fra 交互式定理证明：第四届国际

50 元券

￥499; 去看看
海外直订Interactive Theorem Proving: 4th International Conference, Itp 2013, Rennes, Fra 交互式定理证明：第四届国际

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

50 元券

￥499; 去看看
海外直订Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 20 高阶逻辑中的定理证明：第22

海外直订Interactive Theorem Proving in Software Engineering 软件工程中的交互定理证明

50 元券

￥502; 去看看
海外直订Interactive Theorem Proving in Software Engineering 软件工程中的交互定理证明

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

50 元券

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

海外直订Gromov's Compactness Theorem for Pseudo-Holomorphic Curves 伪全纯曲线的格罗莫夫紧性定理

50 元券

￥503; 去看看
海外直订Gromov's Compactness Theorem for Pseudo-Holomorphic Curves 伪全纯曲线的格罗莫夫紧性定理

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

50 元券

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

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

50 元券

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

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

50 元券

￥503; 去看看
海外直订Higher Order Logic Theorem Proving and Its Applications: 6th International Works 高阶逻辑定理证明及其应用：

海外直订Approximation Theory in the Central Limit Theorem: Exact Results in Banach Space 中心极限定理中的逼近理论：

50 元券

￥503; 去看看
海外直订Approximation Theory in the Central Limit Theorem: Exact Results in Banach Space 中心极限定理中的逼近理论：

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

50 元券

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

海外直订医药图书Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 20 高阶逻辑中的定理证

50 元券

￥503; 去看看
海外直订医药图书Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 20 高阶逻辑中的定理证

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

50 元券

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

海外直订Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo 用分析表法证明定理:1996年

50 元券

￥503; 去看看
海外直订Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo 用分析表法证明定理:1996年

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

50 元券

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

海外直订Gromov's Compactness Theorem for Pseudo-Holomorphic Curves 伪全纯曲线的Gromov紧性定理

50 元券

￥503; 去看看
海外直订Gromov's Compactness Theorem for Pseudo-Holomorphic Curves 伪全纯曲线的Gromov紧性定理

海外直订Isabelle: A Generic Theorem Prover 伊莎贝尔:一个泛型定理证明

50 元券

￥503; 去看看
海外直订Isabelle: A Generic Theorem Prover 伊莎贝尔:一个泛型定理证明

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

50 元券

￥503; 去看看
海外直订Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Par 交互式定理证明：第五届国际

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

50 元券

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

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

50 元券

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

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

50 元券

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

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

50 元券

￥503; 去看看
海外直订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 元券

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

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

50 元券

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

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

50 元券

￥503; 去看看
海外直订Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98 高阶逻辑定理的证明:第11届

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

50 元券

￥503; 去看看
海外直订Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 20 高阶逻辑中的定理证明：第20

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

50 元券

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

海外直订Theorem Provers in Circuit Design: Theory, Practice and Experience: Second Inter 电路设计中的定理证明者：理

50 元券

￥503; 去看看
海外直订Theorem Provers in Circuit Design: Theory, Practice and Experience: Second Inter 电路设计中的定理证明者：理

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

50 元券

￥503; 去看看
海外直订Higher Order Logic Theorem Proving and Its Applications: 8th International Works 高阶逻辑定理证明及其应用：

海外直订Theorem Proving in Higher Order Logics 高阶逻辑中的定理证明

50 元券

￥503; 去看看
海外直订Theorem Proving in Higher Order Logics 高阶逻辑中的定理证明

【4周达】The Potential Distribution Theorem and Models of Molecular Solutions [9781107411593]

27.8 元券

￥528.2; 去看看
【4周达】The Potential Distribution Theorem and Models of Molecular Solutions [9781107411593]

预订 Hyperbolization Theorem for Fibered 3-manifolds [9780821821534]

27.8 元券

￥528.2; 去看看
预订 Hyperbolization Theorem for Fibered 3-manifolds [9780821821534]

【4周达】Algebraic Number Theory and Fermat's Last Theorem [9780367658717]

27.9 元券

￥529.1; 去看看
【4周达】Algebraic Number Theory and Fermat's Last Theorem [9780367658717]

预订 Maximal Nilpotent Subalgebras II: A correspondence theorem within solvable associative algebras.... [9783960671961]

27.9 元券

￥530.1; 去看看
预订 Maximal Nilpotent Subalgebras II: A correspondence theorem within solvable associative algebras.... [9783960671961]

【4周达】Gromov's Compactness Theorem for Pseudo-Holomorphic Curves [9783034898423]

28.1 元券

￥532.9; 去看看
【4周达】Gromov's Compactness Theorem for Pseudo-Holomorphic Curves [9783034898423]

【4周达】An Oscillation Theorem for Algebraic Eigenvalue Problems and Its Applications [9783034840750]

28.1 元券

￥532.9; 去看看
【4周达】An Oscillation Theorem for Algebraic Eigenvalue Problems and Its Applications [9783034840750]

【4周达】Bell's Theorem and Quantum Realism : Reassessment in Light of the Schrödinger Paradox [9783642234675]

28.1 元券

￥532.9; 去看看
【4周达】Bell's Theorem and Quantum Realism : Reassessment in Light of the Schrödinger Paradox [9783642234675]

【4周达】From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions [9783540182177]

28.1 元券

￥532.9; 去看看
【4周达】From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions [9783540182177]

【4周达】The Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis [9783528155742]

28.1 元券

￥532.9; 去看看
【4周达】The Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis [9783528155742]

【4周达】The Brauer-Hasse-Noether Theorem in Historical Perspective [9783540230052]

28.1 元券

￥532.9; 去看看
【4周达】The Brauer-Hasse-Noether Theorem in Historical Perspective [9783540230052]

【4周达】Godel's Theorem Simplified [9780819138699]

28.2 元券

￥535.8; 去看看
【4周达】Godel's Theorem Simplified [9780819138699]

返回顶部

copyright © 网红基地