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

恒等式二项式 Identities Binomial
海外直订Art of Proving Binomial Identities 证明二项式恒等式的艺术
￥634券后￥6840人已购买
优惠券￥50 领券购买 
实数定理证明 Theorem
海外直订Theorem Proving with the Real Numbers 用实数证明定理
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
高阶定理 International Applications
海外直订Higher Order Logic Theorem Proving and Its Applications: 8th International Works 高阶逻辑定理证明及其应用：
￥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: 11th International Conference, Tphols'98 高阶逻辑定理的证明:第11届
￥612券后￥6620人已购买
优惠券￥50 领券购买 
9781032475585 Identities 预订 Binomial
[预订]The Art of Proving Binomial Identities 9781032475585
￥561券后￥6610人已购买
优惠券￥100 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 20 高阶逻辑中的定理证明：第20
￥612券后￥6620人已购买
优惠券￥50 领券购买 
艾美奖 9783030628109 Mathematics 预订
预订 Proving It Her Way: Emmy Noether, a Life in Mathematics 用自己的方式证明：艾美奖诺瑟的数学生涯: 9783030628109
￥281券后￥3410人已购买
优惠券￥60 领券购买 
9781071646373 Mathematics 预订证明
预订 Reading, Writing, and Proving A Closer Look at Mathematics 阅读、写作和证明：深入研究数学 9781071646373
￥475券后￥5750人已购买
优惠券￥100 领券购买 
医药图书 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 领券购买 
理查德兰奇 Investigation Furniture
海外直订Proving Richard Cranch: Report of Investigation on Furniture, Family and a Uniqu 证明理查德·克兰奇:关于家具
￥185.4券后￥190.40人已购买
优惠券￥5 领券购买 
顺势 Homeopathy 疗法医药图书
海外直订医药图书Proving Homeopathy: Why Homeopathy Works - Sometimes 证明顺势疗法：为什么顺势疗法有效-有时
￥201券后￥2160人已购买
优惠券￥15 领券购买 
瑟尔大卫试验场 Proving
海外直订David Maisel: Proving Ground 大卫·麦瑟尔:试验场
￥584券后￥6340人已购买
优惠券￥50 领券购买 
高阶定理 International Applications
海外直订Higher Order Logic Theorem Proving and Its Applications: 6th International Works 高阶逻辑定理证明及其应用：
￥612券后￥6620人已购买
优惠券￥50 领券购买 
试验场 Grounds Proving 海外
海外直订The Proving Grounds 试验场
￥147券后￥1520人已购买
优惠券￥5 领券购买 
尔特塞尔试验场英文
【预售】考尔特·富塞尔作品集：试验场 Coulter Fussell: The Proving Ground 原版英文艺术画册画集
￥309.4券后￥315.40人已购买
优惠券￥6 领券购买 
Painting 油画 Oil Critical
海外直订A Critical Essay on Oil-Painting; Proving That the Art of Painting in Oil Was Kn 一篇关于油画的评论文章证明
￥206券后￥2210人已购买
优惠券￥15 领券购买 
非标定理几何 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 领券购买 
尔特塞尔善本试验场
【预售】考尔特·富塞尔作品集：试验场 Coulter Fussell: The Proving Ground 原版英文艺术画册画集善本图书
￥328.9券后￥333.90人已购买
优惠券￥5 领券购买 
Mechanical 定理机械化 Mechanization
海外直订Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geome 数学机械化:机械几何定理证
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
定理 Automated Practice 证明
海外直订Automated Theorem Proving: Theory and Practice 自动定理证明：理论与实践
￥1,750券后￥1,8500人已购买
优惠券￥100 领券购买 
尔特塞尔试验场英文
【预售】考尔特·富塞尔作品集：试验场 Coulter Fussell: The Proving Ground 原版英文艺术画册画集正版进口书
￥295.5券后￥300.50人已购买
优惠券￥5 领券购买 
国际会定理第六届 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 交互式定理证明与程序开发：
￥948券后￥1,0480人已购买
优惠券￥100 领券购买 
逻辑设计 Logic 定理 Programming
海外直订From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio 从逻辑设计到逻辑编程:定理
￥612券后￥6620人已购买
优惠券￥50 领券购买 
高阶定理 International Applications
海外直订Higher Order Logic Theorem Proving and Its Applications: 7th International Works 高阶逻辑定理证明及其应用：
￥612券后￥6620人已购买
优惠券￥50 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 20 高阶逻辑中的定理证明：第17
￥612券后￥6620人已购买
优惠券￥50 领券购买 
定理 Automated 逻辑证明
海外直订First-Order Logic and Automated Theorem Proving 一阶逻辑与自动定理证明
￥1,010券后￥1,1100人已购买
优惠券￥100 领券购买 
证明写作 Reading Writing
海外直订Reading, Writing, and Proving 阅读，写作和证明
￥689券后￥7390人已购买
优惠券￥50 领券购买 
Verification Introducing Correctness 预订
[预订]Introducing Software Verification with Dafny Language: Proving Program Correctness
￥258券后￥2880人已购买
优惠券￥30 领券购买 
非标定理几何 Combination
海外直订A Combination of Geometry Theorem Proving and Nonstandard Analysis with Applicat 几何定理证明与非标准分析的
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
定理 Automated 证明 Theorem
海外直订Automated Theorem Proving 自动定理证明
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
软件工程定理 Engineering Automated
海外直订Automated Theorem Proving in Software Engineering 软件工程中定理的自动证明
￥566券后￥6160人已购买
优惠券￥50 领券购买 
高阶定理 International Conference
海外直订Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99 高阶逻辑定理证明:第十二届
￥612券后￥6620人已购买
优惠券￥50 领券购买 