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

定理交互式 Interactive 证明

海外直订Interactive Theorem Proving 交互式定理证明

￥970 券后￥1,070 0人已购买
优惠券￥ 100  领券购买 
蓝山比诺 Zambinos 证明

海外直订The Proving: The Zambinos of Blue Hill 证明：蓝山的赞比诺

￥185.4 券后￥190.4 0人已购买
优惠券￥ 5  领券购买 
教育研究 Mathematics Directions Education

海外直订New Directions for Mathematics Education Research on Proving: Honoring the Legac 数学教育研究证明的新方向：

￥2,040 券后￥2,140 0人已购买
优惠券￥ 100  领券购买 
高阶定理 International Conference

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
实数定理证明 Theorem

海外直订Theorem Proving with the Real Numbers 用实数证明定理

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
六名原版中商试验场

现货电脑试验场六名女性和世界第一台现代电脑的故事英文原版 Proving Ground Kathy Kleiman【中商原版】

￥186 券后￥191 0人已购买
优惠券￥ 5  领券购买 
定理 International Analytic Tableaux

海外直订Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo 用分析表法证明定理:1996年

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
高阶定理 International Applications

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
高阶定理 International Conference

海外直订Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98 高阶逻辑定理的证明:第11届

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
医药图书性病起源 Dissertation

海外直订医药图书A Dissertation on the Origin of the Venereal Disease; Proving That It Was Not Br 关于性病起源的研究

￥186 券后￥191 0人已购买
优惠券￥ 5  领券购买 
高阶定理 International Conference

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
9781032475585 Identities 预订 Binomial

[预订]The Art of Proving Binomial Identities 9781032475585

￥561 券后￥661 0人已购买
优惠券￥ 100  领券购买 
高阶定理 International Conference

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
医药图书 Beer 专著 Experience

海外直订医药图书Warm Beer, a Treatise. Proving, From Reason, Authority and Experience, That Beer 温啤酒，专著。从理

￥377 券后￥407 0人已购买
优惠券￥ 30  领券购买 
医药图书性病起源 Dissertation

海外直订医药图书A Dissertation on the Origin of the Venereal Disease; Proving That it was not Br 关于性病起源的研究

￥377 券后￥407 0人已购买
优惠券￥ 30  领券购买 
爱因斯坦 Expeditions Einstein 证明

海外直订Proving Einstein Right: The Daring Expeditions That Changed How We Look at the U 证明爱因斯坦是对的：改变我

￥276 券后￥306 0人已购买
优惠券￥ 30  领券购买 
定理 International Analytic Tableaux

海外直订Theorem Proving with Analytic Tableaux and Related Methods: 4th International Wo 用解析表和相关方法证明定理

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
定理力学几何 Mechanical

海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
顺势 Homeopathy 疗法医药图书

海外直订医药图书Proving Homeopathy: Why Homeopathy Works - Sometimes 证明顺势疗法：为什么顺势疗法有效-有时

￥201 券后￥216 0人已购买
优惠券￥ 15  领券购买 
艾美奖 9783030628109 Mathematics 预订

预订 Proving It Her Way: Emmy Noether, a Life in Mathematics 用自己的方式证明：艾美奖诺瑟的数学生涯: 9783030628109

￥281 券后￥341 0人已购买
优惠券￥ 60  领券购买 
理查德兰奇 Investigation Furniture

海外直订Proving Richard Cranch: Report of Investigation on Furniture, Family and a Uniqu 证明理查德·克兰奇:关于家具

￥185.4 券后￥190.4 0人已购买
优惠券￥ 5  领券购买 
试验场 Grounds Proving 海外

海外直订The Proving Grounds 试验场

￥147 券后￥152 0人已购买
优惠券￥ 5  领券购买 
医药图书 Beer 专著 Experience

海外直订医药图书Warm Beer, a Treatise. Proving, from Reason, Authority and Experience, That Beer 温啤酒，专著。从理

￥226 券后￥241 0人已购买
优惠券￥ 15  领券购买 
高阶定理 International Applications

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
瑟尔大卫试验场 Proving

海外直订David Maisel: Proving Ground 大卫·麦瑟尔:试验场

￥584 券后￥634 0人已购买
优惠券￥ 50  领券购买 
非标定理几何 Combination

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
高阶定理 International Conference

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
非标定理几何 Combination

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
软件工程定理 Engineering Automated

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

￥566 券后￥616 0人已购买
优惠券￥ 50  领券购买 
逻辑设计 Logic 定理 Programming

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
定理交互式程序开发 Interactive

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

￥948 券后￥1,048 0人已购买
优惠券￥ 100  领券购买 
高阶定理 International Applications

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

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

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

￥1,010 券后￥1,110 0人已购买
优惠券￥ 100  领券购买 
定理 Automated Practice 证明

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

￥1,750 券后￥1,850 0人已购买
优惠券￥ 100  领券购买 
证明 ICMI Mathematics Education

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

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

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

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

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

￥258 券后￥288 0人已购买
优惠券￥ 30  领券购买 
Mechanical 定理机械化 Mechanization

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
定理 Automated Practice 证明

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

￥1,380 券后￥1,480 0人已购买
优惠券￥ 100  领券购买 
国际会定理第六届 International

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 