珠海科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

高阶逻辑辅助证明系统/(德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍尔森, (德) 玛尔库斯·温泽尔著 陈光喜, 刘卓军译

出版发行项:

北京:北京理工大学出版社,2013

ISBN及定价:

978-7-5640-7763-1 精装/CNY45.00

载体形态项:

253页;21cm

并列正题名:

Proof assistant for higher-order logic

个人责任者:

尼普科夫 (Nipkow, Tobias) 著

个人责任者:

鲍尔森 (Paulson, Lawrence C.) 著

个人责任者:

温泽尔 (Wenzel, Markus) 著

个人次要责任者:

陈光喜 译

个人次要责任者:

刘卓军 译

学科主题:

计算机辅助技术

中图法分类号:

TP391.7

相关题名附注:

英文题名取自封面

书目附注:

有书目 (第250-253页)

提要文摘附注:

本书分基本技巧、逻辑与集合、高级材料三部分, 内容包括: 基础、HOL中的函数编程、高级函数式编程、游戏规则、集合递归定义等。

豆瓣简介：