Proving什么牌子好,Proving哪里有卖? - 第3页

9780821850275 Automated 预订 Proving

预订 Automated Theorem Proving: After 25 Years: 9780821850275

￥1,377 券后￥1,467 0人已购买
优惠券￥ 90  领券购买 
Outdoor E.Brunstetter 预订

预订 Wanda E. Brunstetter’s Amish Friends Outdoor Cookbook: Over 250 Recipes Proving Outdoor Cooking Is Much More Than

￥155 券后￥165 0人已购买
优惠券￥ 10  领券购买 
Homeopathy 9781936251377 Sometimes 预订

预订 Proving Homeopathy: Why Homeopathy Works - Sometimes: 9781936251377

￥183 券后￥193 0人已购买
优惠券￥ 10  领券购买 
预售 Numbers Proving Theorem

【预售】Theorem Proving with the Real Numbers

￥1,127 券后￥1,217 0人已购买
优惠券￥ 90  领券购买 
预订 Proving Theorem Logics

【预订】Theorem Proving in Higher Order Logics

￥548 券后￥608 0人已购买
优惠券￥ 60  领券购买 
预售 Automated Proving Theorem

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

￥910 券后￥1,000 0人已购买
优惠券￥ 90  领券购买 
预售 Proving Theorem Logics

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

￥548 券后￥608 0人已购买
优惠券￥ 60  领券购买 
预售 Proving Writing Reading

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

￥669 券后￥729 0人已购买
优惠券￥ 60  领券购买 
预售 Combination Geometry Theorem

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

￥1,127 券后￥1,217 0人已购买
优惠券￥ 90  领券购买 
预售 Programs Analysis Proving

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

￥1,735 券后￥1,825 0人已购买
优惠券￥ 90  领券购买 
预售 Mathematical Proving Biology

【预售】Proving Darwin: Making Biology Mathematical

￥121 券后￥131 0人已购买
优惠券￥ 10  领券购买 
非标定理几何 Nonstandard

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

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
预售 Theories Proving My

【预售】Proving My Theories

￥96 券后￥106 0人已购买
优惠券￥ 10  领券购买 
Automated 预订 Softwar Theorem

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

￥548 券后￥608 0人已购买
优惠券￥ 60  领券购买 
Mathematics 预订 Proving Writing

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

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

【预订】Interactive Theorem Proving and Program Development 9783642058806

￥914 券后￥974 0人已购买
优惠券￥ 60  领券购买 
预售 Development Interactive Program

【预售】Interactive Theorem Proving and Program Development

￥1,249 券后￥1,339 0人已购买
优惠券￥ 90  领券购买 
预售 Automated Practice Theorem

【预售】Automated Theorem Proving: Theory and Practice

￥1,249 券后￥1,339 0人已购买
优惠券￥ 90  领券购买 
预售 Automated Practice Theorem

【预售】Automated Theorem Proving: Theory and Practice

￥1,735 券后￥1,825 0人已购买
优惠券￥ 90  领券购买 
预售 Mechanical Geometry Proving

【预售】Mechanical Geometry Theorem Proving

￥1,127 券后￥1,217 0人已购买
优惠券￥ 90  领券购买 
定理 Automated Practice 证明

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

￥1,617 券后￥1,647 0人已购买
优惠券￥ 30  领券购买 
预售 Verification Solution Proving

【预售】System Verification: Proving the Design Solution

￥803 券后￥863 0人已购买
优惠券￥ 60  领券购买 
Application Nonstandard Combination Principia

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

￥1,127 券后￥1,217 0人已购买
优惠券￥ 90  领券购买 
定理 Automated 逻辑证明

海外直订First-Order Logic and Automated Theorem Proving 一阶逻辑与自动定理证明

￥923 券后￥943 0人已购买
优惠券￥ 20  领券购买 
预订 Proving Theorem Logics

【预订】Theorem Proving in Higher Order Logics

￥548 券后￥608 0人已购买
优惠券￥ 60  领券购买 
预订 Proving Theorem Logics

【预订】Theorem Proving in Higher Order Logics

￥548 券后￥608 0人已购买
优惠券￥ 60  领券购买 
Learning 学习定理 Automated

海外直订Machine Learning for Automated Theorem Proving: Learning to Solve SAT and Qsat 自动定理证明的机器学习：学习

￥945 券后￥965 0人已购买
优惠券￥ 20  领券购买 
定理交互式程序开发 Development

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

￥1,028 券后￥1,058 0人已购买
优惠券￥ 30  领券购买 
Automated 预订 Proving Theorem

预订Automated Theorem Proving:After 25 Years

￥2,444 券后￥2,544 0人已购买
优惠券￥ 100  领券购买 
定理 Automated 证明 Proving

海外直订Automated Theorem Proving 自动定理证明

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
证明写作 Proving Reading

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

￥687 券后￥707 0人已购买
优惠券￥ 20  领券购买 
定理 Automated Practice 证明

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

￥1,124 券后￥1,154 0人已购买
优惠券￥ 30  领券购买 
定理交互式程序开发 Development

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

￥868 券后￥888 0人已购买
优惠券￥ 20  领券购买 
Mechanical 定理机械化 Mechanization

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

￥995 券后￥1,025 0人已购买
优惠券￥ 30  领券购买 
预订 Proving Theorem Logics

【预订】Theorem Proving in Higher Order Logics

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

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

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
Verification Correctness Introducing 预订

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

￥268 券后￥288 0人已购买
优惠券￥ 20  领券购买 
修斯伯德定律证明

海外直订Proving the Titius Bode law forms the cosmos: (...And not Only the Solar system) 证明提修斯-伯德定律形成宇

￥925 券后￥945 0人已购买
优惠券￥ 20  领券购买 
太阳系彩色证明形成

海外直订How the Solar System Forms (In Colour): Proving the Titius Bode law working 太阳系如何形成（彩色）：证明提

￥695 券后￥715 0人已购买
优惠券￥ 20  领券购买 
9789400721289 Mathematics Education 预订

【预订】Proof and Proving in Mathematics Education 9789400721289

￥548 券后￥608 0人已购买
优惠券￥ 60  领券购买 