|
000
|
01246nam0 2200325 450
|
|
001
|
194523
|
|
005
|
20140823152557.34
|
|
010
|
|
@a978-7-5640-7763-1@b精装@dCNY45.00
|
|
100
|
|
@a20130912d2013 em y0chiy50 ea
|
|
101
|
1
|
@achi@ager@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a高阶逻辑辅助证明系统@Agao jie luo ji fu zhu zheng ming xi tong@f(德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍尔森, (德) 玛尔库斯·温泽尔著@g陈光喜, 刘卓军译
|
|
205
|
|
@a第1版
|
|
210
|
|
@a北京@c北京理工大学出版社@d2013.05
|
|
215
|
|
@a253页@d21cm
|
|
312
|
|
@a英文题名取自封面
|
|
320
|
|
@a有书目 (第250-253页)
|
|
330
|
|
@a本书分基本技巧、逻辑与集合、高级材料三部分, 内容包括: 基础、HOL中的函数编程、高级函数式编程、游戏规则、集合递归定义等。
|
|
510
|
1
|
@aProof assistant for higher-order logic@zeng
|
|
606
|
0
|
@a计算机辅助技术@Aji suan ji fu zhu ji shu
|
|
690
|
|
@aTP391.7@v5
|
|
701
|
1
|
@a鲍尔森@Abao er sen@g(Paulson, Lawrence C.)@4著
|
|
701
|
1
|
@a温泽尔@Awen ze er@g(Wenzel, Markus)@4著
|
|
701
|
1
|
@a尼普科夫@Ani pu ke fu@g(Nipkow, Tobias)@4著
|
|
702
|
0
|
@a陈光喜@Achen guang xi@4译
|
|
702
|
0
|
@a刘卓军@Aliu zhuo jun@4译
|
|
801
|
0
|
@aCN@b郑州旅游职业学院@c20140725
|
|
905
|
|
@aZZLYZY@dTP391.7@e13
|
|
|
|
|
| |
| 高阶逻辑辅助证明系统/(德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍尔森, (德) 玛尔库斯·温泽尔著/陈光喜, 刘卓军译.-第1版.-北京：北京理工大学出版社，2013.05 |
| 253页；21cm |
| |
| |
| ISBN 978-7-5640-7763-1(精装)：CNY45.00 |
| 本书分基本技巧、逻辑与集合、高级材料三部分, 内容包括: 基础、HOL中的函数编程、高级函数式编程、游戏规则、集合递归定义等。 |
| ● |
正题名：高阶逻辑辅助证明系统
索取号：TP391.7/13
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
0679661
|
206796617
|
十四楼书库/14E22B0204/
[索取号:TP391.7/13]
|
在馆
|
架位导航
|
|
2
|
0679662
|
206796626
|
一楼密集书库B区/
[索取号:TP391.7/13]
|
在馆
|
架位导航
|
|
3
|
0679663
|
206796635
|
十四楼书库/14E22B0204/
[索取号:TP391.7/13]
|
在馆
|
架位导航
|
|
4
|
0679664
|
206796644
|
十四楼书库/14E22B0204/
[索取号:TP391.7/13]
|
在馆
|
架位导航
|
|
5
|
0679665
|
206796653
|
十四楼书库/14E22B0204/
[索取号:TP391.7/13]
|
在馆
|
架位导航
|
