theorem

91购物| 手机版

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

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

￥ -

颜色：

【4周达】Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Con... [9783642058806]

80 元券

￥814; 0去看看
【4周达】Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Con... [9783642058806]

【4周达】Lectures on the Mordell-Weil Theorem [9783528089689]

80 元券

￥817; 0去看看
【4周达】Lectures on the Mordell-Weil Theorem [9783528089689]

【预售】The Pythagorean Theorem: The Story of Its Power and

20 元券

￥208; 0去看看
【预售】The Pythagorean Theorem: The Story of Its Power and

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

5 元券

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

【预售】Parrot's Theorem

20 元券

￥210; 0去看看
【预售】Parrot's Theorem

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

5 元券

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

【4周达】Evolutionary Equations : Picard's Theorem for Partial Differential Equations, and Applications [9783030893996]

40 元券

￥422; 0去看看
【4周达】Evolutionary Equations : Picard's Theorem for Partial Differential Equations, and Applications [9783030893996]

Lectures on the H-Cobordism Theorem

20 元券

￥211; 0去看看
Lectures on the H-Cobordism Theorem

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

5 元券

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

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

5 元券

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

按需印刷Noether's Theorem and Symmetry[9783039282340]

10 元券

￥568; 0去看看
按需印刷Noether's Theorem and Symmetry[9783039282340]

按需印刷TF Introduction to Arnold’s Proof of the Kolmogorov?CArnold?CMoser Theorem[9781032263380]

10 元券

￥581; 0去看看
按需印刷TF Introduction to Arnold’s Proof of the Kolmogorov?CArnold?CMoser Theorem[9781032263380]

【4周达】Prime Number Theorem: - The Prime Number Theorem [9780521891103]

40 元券

￥433; 0去看看
【4周达】Prime Number Theorem: - The Prime Number Theorem [9780521891103]

【4周达】Topics in K-Theory : The Equivariant Künneth Theorem in K-Theory. Dyer-Lashof operations in... [9783540075363]

40 元券

￥433; 0去看看
【4周达】Topics in K-Theory : The Equivariant Künneth Theorem in K-Theory. Dyer-Lashof operations in... [9783540075363]

【预订】Complex Integration and Cauchy’s Theorem

20 元券

￥219; 0去看看
【预订】Complex Integration and Cauchy’s Theorem

$【预售】The Künneth Theorem and the Universal Coefficient Theorem for Equivariant \(K\)-Theory and \(KK\)-The...$

20 元券

￥222; 0去看看
【预售】The Künneth Theorem and the Universal Coefficient Theorem for Equivariant \(K\)-Theory and \(KK\)-The...

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

5 元券

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

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

5 元券

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

英文原版 Birth of a Theorem 一个定理的诞生我与菲尔茨奖的一千个日夜赛德里克·维拉尼英文版进口英语原版书籍

15 元券

￥168; 1去看看
英文原版 Birth of a Theorem 一个定理的诞生我与菲尔茨奖的一千个日夜赛德里克·维拉尼英文版进口英语原版书籍

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

5 元券

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

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

5 元券

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

【预订】A theorem of Eliashberg and Thurston on foliations and contact structures

10 元券

￥112; 0去看看
【预订】A theorem of Eliashberg and Thurston on foliations and contact structures

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

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

5 元券

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

【预售】The Last Theorem

10 元券

￥114; 0去看看
【预售】The Last Theorem

一个定理的诞生 Birth of a Theorem 我与菲尔茨奖的一千个日夜赛德里克·维拉尼英文原版人物传记

15 元券

￥173; 0去看看
一个定理的诞生 Birth of a Theorem 我与菲尔茨奖的一千个日夜赛德里克·维拉尼英文原版人物传记

英文原版 Birth of a Theorem 一个定理的诞生我与菲尔茨奖的一千个日夜赛德里克·维拉尼英文版进口英语原版书籍

15 元券

￥173; 0去看看
英文原版 Birth of a Theorem 一个定理的诞生我与菲尔茨奖的一千个日夜赛德里克·维拉尼英文版进口英语原版书籍

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

40 元券

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

英文原版 The Pythagorean Theorem 勾股定理悠悠4000年的故事 Eli Maor 英文版进口英语原版书籍

15 元券

￥176; 0去看看
英文原版 The Pythagorean Theorem 勾股定理悠悠4000年的故事 Eli Maor 英文版进口英语原版书籍

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

40 元券

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

【预售】Complex Integration & Cauchy's Theorem

10 元券

￥119; 0去看看
【预售】Complex Integration & Cauchy's Theorem

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

40 元券

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

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

40 元券

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

英文原版 Pythagorean Theorem for Babies Baby University 宝宝智学园勾股定理 STEM教育儿童数学科普百科绘本纸板书

5 元券

￥60; 0去看看
英文原版 Pythagorean Theorem for Babies Baby University 宝宝智学园勾股定理 STEM教育儿童数学科普百科绘本纸板书

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

40 元券

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

首页 < 4 5 6 7 8 9 10 11 12 13 >末页