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

9783642058806 Interactive Development 预订
【预订】Interactive Theorem Proving and Program Development 9783642058806
￥756券后￥8760人已购买
优惠券￥120 领券购买 
证明 ICMI Mathematics Education
海外直订Proof and Proving in Mathematics Education: The 19th ICMI Study 数学教育中的证明与证明：第19次ICMI研究
￥503券后￥5530人已购买
优惠券￥50 领券购买 
定理交互式程序开发 Interactive
海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发：
￥838券后￥8880人已购买
优惠券￥50 领券购买 
预售 Analysis Programs Towards
【预售】Value-Range Analysis of C Programs: Towards Proving
￥1,463券后￥1,6430人已购买
优惠券￥180 领券购买 
国际会定理第六届 International
海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会
￥502券后￥5520人已购买
优惠券￥50 领券购买 
定理交互式程序开发 Interactive
海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发：
￥958券后￥1,0580人已购买
优惠券￥100 领券购买 
高阶定理 International Applications
海外直订Higher Order Logic Theorem Proving and Its Applications: 7th International Works 高阶逻辑定理证明及其应用：
￥612券后￥6620人已购买
优惠券￥50 领券购买 
预售 Automated Theorem Proving
【预售】First-Order Logic and Automated Theorem Proving
￥920券后￥1,1000人已购买
优惠券￥180 领券购买 
预售 Theorem Proving Higher
【预售】Theorem Proving in Higher Order Logics: 15th
￥458券后￥5480人已购买
优惠券￥90 领券购买 
Verification Introducing Correctness 预订
[预订]Introducing Software Verification with Dafny Language: Proving Program Correctness
￥258券后￥2880人已购买
优惠券￥30 领券购买 
预订 Theorem Proving Higher
【预订】Theorem Proving in Higher Order Logics
￥458券后￥5480人已购买
优惠券￥90 领券购买 
非标定理几何 Combination
海外直订A Combination of Geometry Theorem Proving and Nonstandard Analysis with Applicat 几何定理证明与非标准分析的
￥933券后￥1,0330人已购买
优惠券￥100 领券购买 
预订 Theorem Proving Higher
【预订】Theorem Proving in Higher Order Logics
￥458券后￥5480人已购买
优惠券￥90 领券购买 
定理 Automated Practice 证明
海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
￥1,547券后￥1,6470人已购买
优惠券￥100 领券购买 
高阶定理 International Applications
海外直订Higher Order Logic Theorem Proving and Its Applications: 6th International Works 高阶逻辑定理证明及其应用：
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Painting 油画 Oil Critical
海外直订A Critical Essay on Oil-Painting; Proving That the Art of Painting in Oil Was Kn 一篇关于油画的评论文章证明
￥206券后￥2210人已购买
优惠券￥15 领券购买 
证明 ICMI Mathematics Education
海外直订Proof and Proving in Mathematics Education: The 19th ICMI Study 数学教育中的证明与证明：第19次ICMI研究
￥402券后￥4320人已购买
优惠券￥30 领券购买 
Automated 预订 Theorem Proving
【预订】Automated Theorem Proving in Softwar...
￥458券后￥5480人已购买
优惠券￥90 领券购买 
预售 Automated Practice Theorem
【预售】Automated Theorem Proving: Theory and Practice
￥1,134券后￥1,3140人已购买
优惠券￥180 领券购买 
Combination Nonstandard Application Principia
【预订】A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
￥915券后￥1,0950人已购买
优惠券￥180 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99 高阶逻辑定理证明:第十二届
￥503券后￥5530人已购买
优惠券￥50 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 20 高阶逻辑中的定理证明：第17
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Mechanical 定理机械化 Mechanization
海外直订Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geome 数学机械化:机械几何定理证
￥925券后￥1,0250人已购买
优惠券￥100 领券购买 
Mechanical Geometry Mechanization Mathematics
预订 Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial
￥831券后￥1,0110人已购买
优惠券￥180 领券购买 
软件工程定理 Engineering Automated
海外直订Automated Theorem Proving in Software Engineering 软件工程中定理的自动证明
￥544券后￥5940人已购买
优惠券￥50 领券购买 
试验场军事化 Environmental Militarized
海外直订Proving Grounds: Militarized Landscapes, Weapons Testing, and the Environmental 试验场:军事化景观，武器测
￥346券后￥3760人已购买
优惠券￥30 领券购买 
逻辑设计 Logic 定理 Programming
海外直订From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio 从逻辑设计到逻辑编程:定理
￥503券后￥5530人已购买
优惠券￥50 领券购买 
预售 Automated Practice Theorem
【预售】Automated Theorem Proving: Theory and Practice
￥1,463券后￥1,6430人已购买
优惠券￥180 领券购买 
预售 Mechanical Geometry Theorem
【预售】Mechanical Geometry Theorem Proving
￥915券后￥1,0950人已购买
优惠券￥180 领券购买 
预订 Theorem Proving Higher
【预订】Theorem Proving in Higher Order Logics
￥458券后￥5480人已购买
优惠券￥90 领券购买 
定理 Automated 逻辑证明
海外直订First-Order Logic and Automated Theorem Proving 一阶逻辑与自动定理证明
￥893券后￥9430人已购买
优惠券￥50 领券购买 
太阳系彩色证明形成
海外直订How the Solar System Forms (In Colour): Proving the Titius Bode law working 太阳系如何形成（彩色）：证明提
￥755券后￥8050人已购买
优惠券￥50 领券购买 
定理 Automated 证明 Theorem
海外直订Automated Theorem Proving 自动定理证明
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
9789400721289 Mathematics Education 预订
【预订】Proof and Proving in Mathematics Education 9789400721289
￥458券后￥5480人已购买
优惠券￥90 领券购买 
Theories Proving 海外 My
海外直订Proving My Theories
￥155券后￥1600人已购买
优惠券￥5 领券购买 
共识 Inconvenient Scientists 科学家
海外直订Inconvenient Data: Proving the Consensus of Scientists is Wrong 不方便的数据：证明科学家的共识是错误的
￥280券后￥3100人已购买
优惠券￥30 领券购买 
定理 Automated Practice 证明
海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
￥1,380券后￥1,4800人已购买
优惠券￥100 领券购买 
试验场军事化 U.S.Environmental
预订 Proving Grounds: Militarized Landscapes, Weapons Testing, and the Environmental Impact of U.S. Bases 试验场:军事化
￥246券后￥3060人已购买
优惠券￥60 领券购买 
乌斯波德提提定律
海外直订Cosmic Secrets Decoded Part 1: Proving the Titius Bode law Wrking 宇宙秘密解密:证明提提乌斯·波德定律
￥801券后￥8510人已购买
优惠券￥50 领券购买 
修斯伯德定律证明
海外直订Proving the Titius Bode law forms the cosmos: (...And not Only the Solar system) 证明提修斯-伯德定律形成宇
￥964券后￥1,0640人已购买
优惠券￥100 领券购买 