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

预售 Programs Analysis Proving

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

￥1,563 券后￥1,643 0人已购买
优惠券￥ 80  领券购买 
预售 Mathematical Proving Biology

【预售】Proving Darwin: Making Biology Mathematical

￥175 券后￥180 0人已购买
优惠券￥ 5  领券购买 
预售 Automated Practice Theorem

【预售】Automated Theorem Proving: Theory and Practice

￥1,563 券后￥1,643 0人已购买
优惠券￥ 80  领券购买 
预售 Mechanical Geometry Proving

【预售】Mechanical Geometry Theorem Proving

￥1,015 券后￥1,095 0人已购买
优惠券￥ 80  领券购买 
预订 Proving Theorem Logics

【预订】Theorem Proving in Higher Order Logics

￥514 券后￥548 0人已购买
优惠券￥ 34  领券购买 
国际会定理第六届 International

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

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
定理交互式程序开发 Development

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

￥1,316 券后￥1,356 0人已购买
优惠券￥ 40  领券购买 
预售 Development Interactive Program

【预售】Interactive Theorem Proving and Program Development

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

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

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
非标定理几何 Nonstandard

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

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
证明写作 Proving Reading

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

￥709 券后￥739 0人已购买
优惠券￥ 30  领券购买 
预订 Proving Theorem Logics

【预订】Theorem Proving in Higher Order Logics

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

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

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
证明 ICMI Mathematics Education

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

￥479 券后￥489 0人已购买
优惠券￥ 10  领券购买 
预售 Automated Proving Theorem

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

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

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

￥514 券后￥548 0人已购买
优惠券￥ 34  领券购买 
高阶定理 International Conference

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

￥543 券后￥553 0人已购买
优惠券￥ 10  领券购买 
预订 Proving Theorem Logics

【预订】Theorem Proving in Higher Order Logics

￥514 券后￥548 0人已购买
优惠券￥ 34  领券购买 
定理 Automated Practice 证明

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

￥1,790 券后￥1,850 0人已购买
优惠券￥ 60  领券购买 
9781104464714 Examples 印刷 Proving

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

￥121 券后￥127 0人已购买
优惠券￥ 6  领券购买 
定理 Automated Practice 证明

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

￥1,432 券后￥1,472 0人已购买
优惠券￥ 40  领券购买 
定理 Automated 逻辑证明

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

￥1,008 券后￥1,048 0人已购买
优惠券￥ 40  领券购买 
证明 ICMI Mathematics Education

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

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
Automated 预订 Softwar Theorem

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

￥514 券后￥548 0人已购买
优惠券￥ 34  领券购买 
逻辑设计 Logic 定理 Programming

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

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
定理 Automated 证明 Proving

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

￥1,278 券后￥1,318 0人已购买
优惠券￥ 40  领券购买 
Verification Correctness Introducing 预订

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

￥272 券后￥288 0人已购买
优惠券￥ 16  领券购买 
试验场军事化 Environmental Militarized

海外直订Proving Grounds: Militarized Landscapes, Weapons Testing, and the Environmental 试验场:军事化景观，武器测

￥414 券后￥424 0人已购买
优惠券￥ 10  领券购买 
预订 Proving Theorem Logics

【预订】Theorem Proving in Higher Order Logics

￥514 券后￥548 0人已购买
优惠券￥ 34  领券购买 
Mechanical 定理机械化 Mechanization

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

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
Mechanical Geometry Mechanization Mathematics

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

￥931 券后￥1,011 0人已购买
优惠券￥ 80  领券购买 
Application Nonstandard Combination Principia

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

￥1,015 券后￥1,095 0人已购买
优惠券￥ 80  领券购买 
乌斯波德提提定律

海外直订Cosmic Secrets Decoded Part 1: Proving the Titius Bode law Wrking 宇宙秘密解密:证明提提乌斯·波德定律

￥821 券后￥851 0人已购买
优惠券￥ 30  领券购买 
高阶定理 International Conference

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

￥628 券后￥658 0人已购买
优惠券￥ 30  领券购买 
9789400721289 Mathematics Education 预订

【预订】Proof and Proving in Mathematics Education 9789400721289

￥514 券后￥548 0人已购买
优惠券￥ 34  领券购买 
9781104913519 Spiritual Internal 印刷

按需印刷不退不换The Golden Key, Proving An Internal Spiritual Sense To The Holy Word (1817)[9781104913519]

￥245 券后￥265 0人已购买
优惠券￥ 20  领券购买 
软件工程定理 Engineering Automated

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

￥586 券后￥616 0人已购买
优惠券￥ 30  领券购买 
修斯伯德定律证明

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

￥1,024 券后￥1,064 0人已购买
优惠券￥ 40  领券购买 
太阳系彩色证明形成

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

￥775 券后￥805 0人已购买
优惠券￥ 30  领券购买 
试验场军事化 U.S.Environmental

预订 Proving Grounds: Militarized Landscapes, Weapons Testing, and the Environmental Impact of U.S. Bases 试验场:军事化

￥272 券后￥306 0人已购买
优惠券￥ 34  领券购买 