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

教育研究 Mathematics Directions Education
海外直订New Directions for Mathematics Education Research on Proving: Honoring the Legac 数学教育研究证明的新方向：
￥2,040券后￥2,1400人已购买
优惠券￥100 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98 高阶逻辑定理的证明:第11届
￥612券后￥6620人已购买
优惠券￥50 领券购买 
定理 International Analytic Tableaux
海外直订Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo 用分析表法证明定理:1996年
￥612券后￥6620人已购买
优惠券￥50 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 20 高阶逻辑中的定理证明:第16
￥612券后￥6620人已购买
优惠券￥50 领券购买 
定理 International Analytic Tableaux
海外直订Theorem Proving with Analytic Tableaux and Related Methods: 4th International Wo 用解析表和相关方法证明定理
￥612券后￥6620人已购买
优惠券￥50 领券购买 
定理力学几何 Mechanical
海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 20 高阶逻辑中的定理证明:第15
￥612券后￥6620人已购买
优惠券￥50 领券购买 
实数定理证明 Theorem
海外直订Theorem Proving with the Real Numbers 用实数证明定理
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
恒等式二项式 Identities Binomial
海外直订Art of Proving Binomial Identities 证明二项式恒等式的艺术
￥634券后￥6840人已购买
优惠券￥50 领券购买 
Interactive Development 预订 Theorem
预订不退不换Interactive Theorem Proving and Program Development
￥1,418券后￥1,4240人已购买
优惠券￥6 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 20 高阶逻辑中的定理证明：第20
￥612券后￥6620人已购买
优惠券￥50 领券购买 
高阶定理 International Applications
海外直订Higher Order Logic Theorem Proving and Its Applications: 8th International Works 高阶逻辑定理证明及其应用：
￥612券后￥6620人已购买
优惠券￥50 领券购买 
医药图书 Beer 专著 Experience
海外直订医药图书Warm Beer, a Treatise. Proving, From Reason, Authority and Experience, That Beer 温啤酒，专著。从理
￥377券后￥4070人已购买
优惠券￥30 领券购买 
医药图书性病起源 Dissertation
海外直订医药图书A Dissertation on the Origin of the Venereal Disease; Proving That it was not Br 关于性病起源的研究
￥377券后￥4070人已购买
优惠券￥30 领券购买 
医药图书 Beer 专著 Experience
海外直订医药图书Warm Beer, a Treatise. Proving, from Reason, Authority and Experience, That Beer 温啤酒，专著。从理
￥226券后￥2410人已购买
优惠券￥15 领券购买 
医药图书性病起源 Dissertation
海外直订医药图书A Dissertation on the Origin of the Venereal Disease; Proving That It Was Not Br 关于性病起源的研究
￥186券后￥1910人已购买
优惠券￥5 领券购买 
顺势 Homeopathy 疗法医药图书
海外直订医药图书Proving Homeopathy: Why Homeopathy Works - Sometimes 证明顺势疗法：为什么顺势疗法有效-有时
￥201券后￥2160人已购买
优惠券￥15 领券购买 
理查德兰奇 Investigation Furniture
海外直订Proving Richard Cranch: Report of Investigation on Furniture, Family and a Uniqu 证明理查德·克兰奇:关于家具
￥185.4券后￥190.40人已购买
优惠券￥5 领券购买 
拍摄航拍试验场现货
现货 David Maisel: Proving Ground 试验场拍摄的航拍和现场照片专题拍摄景观摄影
￥487券后￥4900人已购买
优惠券￥3 领券购买 
瑟尔大卫试验场 Proving
海外直订David Maisel: Proving Ground 大卫·麦瑟尔:试验场
￥584券后￥6340人已购买
优惠券￥50 领券购买 
试验场 Grounds Proving 海外
海外直订The Proving Grounds 试验场
￥147券后￥1520人已购买
优惠券￥5 领券购买 
Painting 油画 Oil Critical
海外直订A Critical Essay on Oil-Painting; Proving That the Art of Painting in Oil Was Kn 一篇关于油画的评论文章证明
￥206券后￥2210人已购买
优惠券￥15 领券购买 
国际会定理第六届 International
海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会
￥612券后￥6620人已购买
优惠券￥50 领券购买 
定理交互式程序开发 Interactive
海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发：
￥936券后￥9860人已购买
优惠券￥50 领券购买 
高阶定理 International Applications
海外直订Higher Order Logic Theorem Proving and Its Applications: 7th International Works 高阶逻辑定理证明及其应用：
￥612券后￥6620人已购买
优惠券￥50 领券购买 
定理 Automated Practice 证明
海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
￥1,750券后￥1,8500人已购买
优惠券￥100 领券购买 
高阶定理 International Applications
海外直订Higher Order Logic Theorem Proving and Its Applications: 6th International Works 高阶逻辑定理证明及其应用：
￥612券后￥6620人已购买
优惠券￥50 领券购买 
证明写作 Reading Writing
海外直订Reading, Writing, and Proving 阅读，写作和证明
￥689券后￥7390人已购买
优惠券￥50 领券购买 
非标定理几何 Combination
海外直订A Combination of Geometry Theorem Proving and Nonstandard Analysis with Applicat 几何定理证明与非标准分析的
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
定理 Automated Practice 证明
海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
￥1,380券后￥1,4800人已购买
优惠券￥100 领券购买 
Mathematics 预订 Reading Writing
预订不退不换Reading, Writing, and Proving:A Closer Look at Mathematics
￥917券后￥9230人已购买
优惠券￥6 领券购买 
逻辑设计 Logic 定理 Programming
海外直订From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio 从逻辑设计到逻辑编程:定理
￥612券后￥6620人已购买
优惠券￥50 领券购买 
9781104464714 Examples 印刷 Proving
按需印刷不退不换Self Proving Examples[9781104464714]
￥121券后￥1270人已购买
优惠券￥6 领券购买 
非标定理几何 Combination
海外直订A Combination of Geometry Theorem Proving and Nonstandard Analysis with Applicat 几何定理证明与非标准分析的
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
证明 ICMI Mathematics Education
海外直订Proof and Proving in Mathematics Education: The 19th ICMI Study 数学教育中的证明与证明：第19次ICMI研究
￥612券后￥6620人已购买
优惠券￥50 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99 高阶逻辑定理证明:第十二届
￥612券后￥6620人已购买
优惠券￥50 领券购买 
定理 Automated 逻辑证明
海外直订First-Order Logic and Automated Theorem Proving 一阶逻辑与自动定理证明
￥948券后￥1,0480人已购买
优惠券￥100 领券购买 
定理交互式程序开发 Interactive
海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发：
￥1,256券后￥1,3560人已购买
优惠券￥100 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 20 高阶逻辑中的定理证明：第17
￥612券后￥6620人已购买
优惠券￥50 领券购买 
定理 Automated 证明 Theorem
海外直订Automated Theorem Proving 自动定理证明
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 