机读格式显示(MARC)

• 000 01240nam0 2200325 450

• 001 0000229922

• 005 20131226155900.0

• 010 __ |a 978-7-5640-7763-1 |b 精装 |d CNY45.00

• 100 __ |a 20130912d2013 em y0chiy50 ea

• 101 1_ |a chi |a ger |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 高阶逻辑辅助证明系统 |A gao jie luo ji fu zhu zheng ming xi tong |f (德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍尔森, (德) 玛尔库斯·温泽尔著 |g 陈光喜, 刘卓军译

• 210 __ |a 北京 |c 北京理工大学出版社 |d 2013

• 215 __ |a 253页 |d 21cm

• 312 __ |a 英文题名取自封面

• 320 __ |a 有书目 (第250-253页)

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

• 510 1_ |a Proof assistant for higher-order logic |z eng

• 606 0_ |a 计算机辅助技术 |A ji suan ji fu zhu ji shu

• 690 __ |a TP391.7 |v 5

• 701 _1 |a 尼普科夫 |A ni pu ke fu |g (Nipkow, Tobias) |4 著

• 701 _1 |a 鲍尔森 |A bao er sen |g (Paulson, Lawrence C.) |4 著

• 701 _1 |a 温泽尔 |A wen ze er |g (Wenzel, Markus) |4 著

• 702 _0 |a 陈光喜 |A chen guang xi |4 译

• 702 _0 |a 刘卓军 |A liu zhuo jun |4 译

• 801 _0 |a CN |b 人天书店 |c 20130912

• 905 __ |a LJUZC |d TP391.7/25

• 920 __ |a 222016 |z 1