proving什么牌子好,proving哪里有卖? - 第4页

预售 Combination Geometry Theorem

【预售】A Combination of Geometry Theorem Proving and Non...

￥915 券后￥1,095 0人已购买
优惠券￥ 180  领券购买 
预售 Numbers Proving Theorem

【预售】Theorem Proving with the Real Numbers

￥915 券后￥1,095 0人已购买
优惠券￥ 180  领券购买 
预售 Theories Proving My

【预售】Proving My Theories

￥96 券后￥106 0人已购买
优惠券￥ 10  领券购买 
试验场 Grounds Proving 海外

海外直订The Proving Grounds 试验场

￥147 券后￥152 0人已购买
优惠券￥ 5  领券购买 
定理交互式程序开发 Development

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

￥936 券后￥986 0人已购买
优惠券￥ 50  领券购买 
9783642058806 Interactive Development 预订

【预订】Interactive Theorem Proving and Program Development 9783642058806

￥756 券后￥876 0人已购买
优惠券￥ 120  领券购买 
Mathematics 预订 Proving Writing

预订不退不换Reading, Writing, and Proving:A Closer Look at Mathematics

￥823 券后￥923 0人已购买
优惠券￥ 100  领券购买 
高阶定理 International Applications

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
预售 Automated Practice Theorem

【预售】Automated Theorem Proving: Theory and Practice

￥1,113 券后￥1,293 0人已购买
优惠券￥ 180  领券购买 
预售 Mechanical Geometry Proving

【预售】Mechanical Geometry Theorem Proving

￥742 券后￥862 0人已购买
优惠券￥ 120  领券购买 
预售 Proving Writing Reading

【预售】Reading, Writing, and Proving: A Closer Look at

￥566 券后￥656 0人已购买
优惠券￥ 90  领券购买 
国际会定理第六届 International

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
预订 Proving Theorem Logics

【预订】Theorem Proving in Higher Order Logics

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
预售 Development Interactive Program

【预售】Interactive Theorem Proving and Program Development

￥1,025 券后￥1,205 0人已购买
优惠券￥ 180  领券购买 
高阶定理 International Applications

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
证明写作 Proving Reading

海外直订Reading, Writing, and Proving 阅读，写作和证明

￥689 券后￥739 0人已购买
优惠券￥ 50  领券购买 
预售 Mathematical Proving Biology

【预售】Proving Darwin: Making Biology Mathematical

￥170 券后￥180 0人已购买
优惠券￥ 10  领券购买 
预售 Programs Analysis Proving

【预售】Value-Range Analysis of C Programs: Towards Proving

￥1,463 券后￥1,643 0人已购买
优惠券￥ 180  领券购买 
预售 Automated Proving Theorem

【预售】First-Order Logic and Automated Theorem Proving

￥920 券后￥1,100 0人已购买
优惠券￥ 180  领券购买 
预售 Proving Theorem Logics

【预售】Theorem Proving in Higher Order Logics: 15th

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
非标定理几何 Nonstandard

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
预售 Automated Practice Theorem

【预售】Automated Theorem Proving: Theory and Practice

￥854 券后￥1,034 0人已购买
优惠券￥ 180  领券购买 
逻辑设计 Logic 定理 Programming

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
定理 Automated Practice 证明

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

￥1,380 券后￥1,480 0人已购买
优惠券￥ 100  领券购买 
预订 Proving Theorem Logics

【预订】Theorem Proving in Higher Order Logics

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Automated 预订 Softwar Theorem

【预订】Automated Theorem Proving in Softwar...

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
非标定理几何 Nonstandard

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
Verification Correctness Introducing 预订

[预订]Introducing Software Verification with Dafny Language: Proving Program Correctness

￥258 券后￥288 0人已购买
优惠券￥ 30  领券购买 
Theories Proving 海外 My

海外直订Proving My Theories

￥155 券后￥160 0人已购买
优惠券￥ 5  领券购买 
Mechanical Geometry Mechanization Mathematics

预订 Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial

￥831 券后￥1,011 0人已购买
优惠券￥ 180  领券购买 
定理 Automated Practice 证明

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

￥1,750 券后￥1,850 0人已购买
优惠券￥ 100  领券购买 
预订 Proving Theorem Logics

【预订】Theorem Proving in Higher Order Logics

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
定理交互式程序开发 Development

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

￥1,256 券后￥1,356 0人已购买
优惠券￥ 100  领券购买 
9781104464714 Examples 印刷 Proving

按需印刷不退不换Self Proving Examples[9781104464714]

￥121 券后￥127 0人已购买
优惠券￥ 6  领券购买 
高阶定理 International Conference

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

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
9781942185666 预订 Proving Ground

预订 David Maisel: Proving Ground: 9781942185666

￥823 券后￥1,003 0人已购买
优惠券￥ 180  领券购买 
证明 ICMI Mathematics Education

海外直订Proof and Proving in Mathematics Education: The 19th ICMI Study 数学教育中的证明与证明：第19次ICMI研究

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
证明 ICMI Mathematics Education

海外直订Proof and Proving in Mathematics Education: The 19th ICMI Study 数学教育中的证明与证明：第19次ICMI研究

￥459 券后￥489 0人已购买
优惠券￥ 30  领券购买 
Painting 油画 Oil Critical

海外直订A Critical Essay on Oil-Painting; Proving That the Art of Painting in Oil Was Kn 一篇关于油画的评论文章证明

￥206 券后￥221 0人已购买
优惠券￥ 15  领券购买 
Application Nonstandard Combination Principia

【预订】A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

￥915 券后￥1,095 0人已购买
优惠券￥ 180  领券购买 