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

Interactive Development 预订 Theorem
预订Interactive Theorem Proving and Program Development
￥1,324券后￥1,4240人已购买
优惠券￥100 领券购买 
高阶定理 International Applications
海外直订Higher Order Logic Theorem Proving and Its Applications: 8th International Works 高阶逻辑定理证明及其应用：
￥543券后￥5530人已购买
优惠券￥10 领券购买 
定理 International Analytic Tableaux
海外直订Theorem Proving with Analytic Tableaux and Related Methods: 4th International Wo 用解析表和相关方法证明定理
￥543券后￥5530人已购买
优惠券￥10 领券购买 
医药图书 Beer 专著 Experience
海外直订医药图书Warm Beer, a Treatise. Proving, From Reason, Authority and Experience, That Beer 温啤酒，专著。从理
￥346.6券后￥356.60人已购买
优惠券￥10 领券购买 
医药图书性病起源 Dissertation
海外直订医药图书A Dissertation on the Origin of the Venereal Disease; Proving That it was not Br 关于性病起源的研究
￥346.6券后￥356.60人已购买
优惠券￥10 领券购买 
拍摄航拍试验场现货
现货 David Maisel: Proving Ground 试验场拍摄的航拍和现场照片专题拍摄景观摄影
￥427券后￥4300人已购买
优惠券￥3 领券购买 
瑟尔大卫试验场 Proving
海外直订David Maisel: Proving Ground 大卫·麦瑟尔:试验场
￥554券后￥5640人已购买
优惠券￥10 领券购买 
非标定理几何 Combination
海外直订A Combination of Geometry Theorem Proving and Nonstandard Analysis with Applicat 几何定理证明与非标准分析的
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
Mathematics 预订 Reading Writing
预订Reading, Writing, and Proving:A Closer Look at Mathematics
￥823券后￥9230人已购买
优惠券￥100 领券购买 
非标定理几何 Combination
海外直订A Combination of Geometry Theorem Proving and Nonstandard Analysis with Applicat 几何定理证明与非标准分析的
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
定理交互式程序开发 Interactive
海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发：
￥858券后￥8880人已购买
优惠券￥30 领券购买 
9781104464714 Examples 印刷 Proving
按需印刷Self Proving Examples[9781104464714]
￥124券后￥1270人已购买
优惠券￥3 领券购买 
定理交互式程序开发 Interactive
海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发：
￥1,018券后￥1,0580人已购买
优惠券￥40 领券购买 
高阶定理 International Applications
海外直订Higher Order Logic Theorem Proving and Its Applications: 7th International Works 高阶逻辑定理证明及其应用：
￥543券后￥5530人已购买
优惠券￥10 领券购买 
证明 ICMI Mathematics Education
海外直订Proof and Proving in Mathematics Education: The 19th ICMI Study 数学教育中的证明与证明：第19次ICMI研究
￥543券后￥5530人已购买
优惠券￥10 领券购买 
逻辑设计 Logic 定理 Programming
海外直订From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio 从逻辑设计到逻辑编程:定理
￥543券后￥5530人已购买
优惠券￥10 领券购买 
定理 Automated Practice 证明
海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
￥1,587券后￥1,6470人已购买
优惠券￥60 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 20 高阶逻辑中的定理证明：第17
￥543券后￥5530人已购买
优惠券￥10 领券购买 
证明 ICMI Mathematics Education
海外直订Proof and Proving in Mathematics Education: The 19th ICMI Study 数学教育中的证明与证明：第19次ICMI研究
￥422券后￥4320人已购买
优惠券￥10 领券购买 
Mechanical 定理机械化 Mechanization
海外直订Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geome 数学机械化:机械几何定理证
￥985券后￥1,0250人已购买
优惠券￥40 领券购买 
软件工程定理 Engineering Automated
海外直订Automated Theorem Proving in Software Engineering 软件工程中定理的自动证明
￥584券后￥5940人已购买
优惠券￥10 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99 高阶逻辑定理证明:第十二届
￥543券后￥5530人已购买
优惠券￥10 领券购买 
定理 Automated Practice 证明
海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
￥1,114券后￥1,1540人已购买
优惠券￥40 领券购买 
国际会定理第六届 International
海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会
￥542券后￥5520人已购买
优惠券￥10 领券购买 
9781104913519 Spiritual Internal 印刷
按需印刷The Golden Key, Proving An Internal Spiritual Sense To The Holy Word (1817)[9781104913519]
￥245券后￥2650人已购买
优惠券￥20 领券购买 
证明写作 Reading Writing
海外直订Reading, Writing, and Proving 阅读，写作和证明
￥677券后￥7070人已购买
优惠券￥30 领券购买 
试验场军事化 Environmental Militarized
海外直订Proving Grounds: Militarized Landscapes, Weapons Testing, and the Environmental 试验场:军事化景观，武器测
￥366券后￥3760人已购买
优惠券￥10 领券购买 
高阶定理 International Applications
海外直订Higher Order Logic Theorem Proving and Its Applications: 6th International Works 高阶逻辑定理证明及其应用：
￥543券后￥5530人已购买
优惠券￥10 领券购买 
太阳系彩色证明形成
海外直订How the Solar System Forms (In Colour): Proving the Titius Bode law working 太阳系如何形成（彩色）：证明提
￥775券后￥8050人已购买
优惠券￥30 领券购买 
定理 Automated 逻辑证明
海外直订First-Order Logic and Automated Theorem Proving 一阶逻辑与自动定理证明
￥913券后￥9430人已购买
优惠券￥30 领券购买 
共识 Inconvenient Scientists 科学家
海外直订Inconvenient Data: Proving the Consensus of Scientists is Wrong 不方便的数据：证明科学家的共识是错误的
￥300券后￥3100人已购买
优惠券￥10 领券购买 
定理 Automated 证明 Theorem
海外直订Automated Theorem Proving 自动定理证明
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
乌斯波德提提定律
海外直订Cosmic Secrets Decoded Part 1: Proving the Titius Bode law Wrking 宇宙秘密解密:证明提提乌斯·波德定律
￥821券后￥8510人已购买
优惠券￥30 领券购买 
9780595099252 印刷 Proving Tory's
按需印刷The Proving Zone:Tory's Story[9780595099252]
￥378券后￥4080人已购买
优惠券￥30 领券购买 
9780557012619 Shakespeare 印刷 Proving
按需印刷Proving Shakespeare[9780557012619]
￥482券后￥5220人已购买
优惠券￥40 领券购买 
修斯伯德定律证明
海外直订Proving the Titius Bode law forms the cosmos: (...And not Only the Solar system) 证明提修斯-伯德定律形成宇
￥1,024券后￥1,0640人已购买
优惠券￥40 领券购买 
预售 Theorem Proving Higher
【预售】Theorem Proving in Higher Order Logics: 22nd
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Shakespeare Proving
【预售】Proving Shakespeare
￥513券后￥5470人已购买
优惠券￥34 领券购买 
预订 Proving Grounds
【预订】The Proving Grounds
￥143券后￥1480人已购买
优惠券￥5 领券购买 
预售 Mechanical Geometry Theorem
【预售】Mechanical Geometry Theorem Proving
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 