¥28.80定价:¥58.00 (4.97折)
明星店铺 博库网旗舰店
¥17.90定价:¥36.00 (4.98折)
明星店铺 博库网旗舰店
¥34.51定价:¥58.00 (5.95折)
¥21.42定价:¥36.00 (5.95折)
¥35.09定价:¥58.00 (6.05折)
¥33.93定价:¥58.00 (5.85折)
¥34.65定价:¥58.00 (5.98折)
¥34.66定价:¥58.00 (5.98折)
【正版】火山下/二十世纪百大英文小说 【正品保证,可开发票,进入店铺更多优惠!】
¥26.49定价:¥53.98 (4.91折)
¥34.51定价:¥58.00 (5.95折)
¥33.64定价:¥58.00 (5.8折)
¥34.51定价:¥58.00 (5.95折)
¥21.60定价:¥36.00 (6折)
¥21.49定价:¥36.00 (5.97折)
¥21.06定价:¥36.00 (5.85折)
¥21.48定价:¥36.00 (5.97折)
¥21.78定价:¥36.00 (6.05折)
¥21.42定价:¥36.00 (5.95折)
【正版图书】美丽新世界/二十世纪百大英文小说 【正品保证,可开发票,进入店铺更多优惠!】
¥14.41定价:¥29.82 (4.84折)
¥21.42定价:¥36.00 (5.95折)
托比亚斯·尼普科夫、(英)劳伦斯·鲍尔森、玛尔库斯·温泽尔编著的《高阶逻辑辅助证明系统(精)》是在高阶逻辑中使用Isabelle辅助证明系统进行交互式证明的导论,适用于Isabelle系统的潜在使用者,自成体系,分为三部分:**部分是基本技巧:介绍在高阶逻辑中如何进行函数式程序建模,提供了表(1ist)和自然数的简单证明实例。大多数证明只要两步完成:对所选变量进行归纳以及使用自动策略(auto)。当然,这些粗浅的例子仍然涵盖了嵌套递归和交叉递归等技术。第二部分是逻辑与集合:介绍大量可供选择使用的低级证明策略。本部分描述了Isabelle/HOL如何处理集合、函数、关系以及如何实现递归定义集合,包括模型检验理论和经典教科书中关于形式语言的案例。第三部分是高级话题:包括实数、记录、重载技术等主题。本部分也讨论了归纳法和递归方法的高级技
¥33.70定价:¥45.00 (7.49折)
美丽新世界/二十世纪百大英文小说,9787568295994【新华书店自营】 新华书店正版全新图书 正规发票 多仓就近发货 85%城市次日送达!团购优惠咨询:18340637603
¥28.80定价:¥72.00 (4折)