proving
|
海外直订医药图书Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 20 高阶逻辑中的定理证
海外直订Interactive Theorem Proving: 4th International Conference, Itp 2013, Rennes, Fra 交互式定理证明：第四届国际
按需印刷不退不换Proving Bribery, Fraud and Money Laundering in I
按需印刷不退不换Probabilistic Analysis using Theorem Proving[9783639094725]
海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势
海外直订Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En 交互式定理证明：第二届国际
海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明
海外直订Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 20 高阶逻辑中的定理证明：第22
海外直订Interactive Theorem Proving 交互式定理证明
海外直订Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 20 高阶逻辑中的定理证明：第14
海外直订System Verification: Proving the Design Solution Satisfies the Requirements 系统验证：证明设计方案满足要求
Proving Darwin 证明达尔文 进化和生物创造性的一个数学理论 英文原版
【3-4周达】Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxfor... [9783540283720]
海外直订Geometric Inequalities: Methods of Proving 几何不等式：证明方法
按需印刷不退不换Interactive Theorem Proving in Software Engineering[9783836457699]
海外直订Symbolic Logic and Mechanical Theorem Proving 符号逻辑与机械定理证明
海外直订Interactive Theorem Proving in Software Engineering 软件工程中的交互定理证明
海外直订As the World Turns: The History of Proving the Earth Rotates 随着世界的转动:证明地球转动的历史
海外直订Automated Theorem Proving in Software Engineering 软件工程中定理的自动证明
海外直订The Art of Proving Binomial Identities 二项式恒等式的证明艺术
【3-4周达】Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich... [9783642033582]
【3-4周达】精装 Automated Theorem Proving in Software Engineering [9783540679899]
海外直订Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 利用交互定理证明的未来能源系统的
海外直订Proving It Her Way 用她的方式证明
海外直订Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 20 高阶逻辑中的定理证明:第18
海外直订Theorem Proving in Higher Order Logics 高阶逻辑中的定理证明
【3-4周达】Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, Augus... [9783319431437]
海外直订Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97 高阶逻辑中的定理证明：第十
Proving Darwin 企鹅兰登 按需印刷
海外直订Interactive Theorem Proving 交互式定理证明 |
![按需印刷不退不换Probabilistic Analysis using Theorem Proving[9783639094725]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01mya2vQ1a4SIDBMpxx_!!0-item_pic.jpg "按需印刷不退不换Probabilistic Analysis using Theorem Proving[9783639094725]")
![【3-4周达】Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxfor... [9783540283720]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01xSsos928LaP2Lx9jG_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxfor... [9783540283720]")
![按需印刷不退不换Interactive Theorem Proving in Software Engineering[9783836457699]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01pXfFI81a4SIh9vHfp_!!0-item_pic.jpg "按需印刷不退不换Interactive Theorem Proving in Software Engineering[9783836457699]")
![【3-4周达】Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich... [9783642033582]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01HUYBXt28LaP11VlFB_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich... [9783642033582]")
![【3-4周达】精装 Automated Theorem Proving in Software Engineering [9783540679899]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN0193EIAV28LaP0uJYiH_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Automated Theorem Proving in Software Engineering [9783540679899]")
![【3-4周达】Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, Augus... [9783319431437]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01vQrb0028LaOxe0rOK_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, Augus... [9783319431437]")
