书目详细信息
： 高阶逻辑辅助证明系统
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5640-7763-1:CNY45.00 |
|---|---|
| 作品语种： | chi ger eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 高阶逻辑辅助证明系统/.(德)托比亚斯·尼普科夫(Tobias Nipkow)，(英)劳伦斯·鲍尔森(Lawrence C. Paulson)，(德)玛尔库斯·温泽尔(Markus Wenzel)著/.陈光喜，刘卓军译 |
| 出版发行项： | 北京:,北京理工大学出版社:,2013.05 |
| 载体形态项： | 253页:;+21cm |
| 相关题名附注： | 封面英文题名：A proof assistant for higher-order logic |
| 提要文摘： | 本书分基本技巧、逻辑与集合、高级材料三部分，内容包括：基础、HOL中的函数编程、高级函数式编程、游戏规则、集合递归定义等。 |
| 并列题名： | Proof assistant for higher-order logic eng |
| 题名主题： | 计算机辅助技术 |
| 中图分类： | TP391.7 |
| 个人名称等同： | 尼普科夫 (德) (Nipkow, Tobias) 著 |
| 个人名称等同： | 鲍尔森 (英) (Paulson, Lawrence C.) 著 |
| 个人名称等同： | 温泽尔 (德) (Wenzel, Markus) 著 |
| 个人名称次要： | 陈光喜 译 |
| 个人名称次要： | 刘卓军 译 |
| 记录来源： | CN 人天书店 20130911 |