|
000
|
01382nam 2200337 450
|
|
001
|
012008146509
|
|
005
|
20080114084548.12
|
|
010
|
|
@a978-7-111-21404-5@dCNY38.00
|
|
100
|
|
@a20080113d2007 em y0chiy0120 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa a 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a应用逻辑@Aying yong luo ji@f(美) Anil Nerode，Richand A. Shore著@F(mei)Anil Nerode，Richand A.Shore zhu@g丁德成 ... [等] 译@Gding de cheng...[deng]yi
|
|
210
|
|
@a北京@c机械工业出版社@d2007.07
|
|
215
|
|
@a284页@c图@d26cm
|
|
225
|
2
|
@a计算机科学丛书@Aji suan ji ke xue cong shu
|
|
304
|
|
@a题名页题 : 丁德成, 徐亚涛, 吴永成, 金陈园译
|
|
305
|
|
@a据原书第2版译出
|
|
320
|
|
@a有书目 (第267-284页)
|
|
330
|
|
@a本书是介绍数理逻辑的基础教材，不仅覆盖了传统的基本内容(语法、语义、可靠性、完全性和紧致性)，而且很大一部分是讨论非传统的内容，诸如消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑)，而这些主题在现代计算机科学中变得越来越重要。
|
|
410
|
0
|
@12001 @a计算机科学丛书
|
|
606
|
0
|
@a数理逻辑@Ashu li luo ji@j教材
|
|
690
|
|
@aO141@v4
|
|
701
|
1
|
@a尼罗德@Ani luo de@g(Nerode, Anil)@4著
|
|
701
|
1
|
@a肖尔@Axiao er@g(Shore, Richand A.)@4著
|
|
702
|
0
|
@a丁德成@Ading de cheng@4译
|
|
702
|
0
|
@a徐亚涛@Axu ya tao@4译
|
|
702
|
0
|
@a吴永成@Awu yong cheng@4译
|
|
801
|
0
|
@aCN@bQSSK@c20080114
|
|
905
|
|
@b277414-16@dO141@eN440@f3
|
|
|
|
|
| |
| 应用逻辑/(美) Anil Nerode，Richand A. Shore著/丁德成 ... [等] 译.-北京：机械工业出版社，2007.07 |
| 284页：图；26cm.-(计算机科学丛书) |
| |
| |
| ISBN 978-7-111-21404-5：CNY38.00 |
| 本书是介绍数理逻辑的基础教材，不仅覆盖了传统的基本内容(语法、语义、可靠性、完全性和紧致性)，而且很大一部分是讨论非传统的内容，诸如消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑)，而这些主题在现代计算机科学中变得越来越重要。 |
| ● |
正题名：应用逻辑
索取号：O141/N440
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
277414
|
202774140
|
自科库401/401自科库 40排2列4层/
[索取号:O141/N440]
|
在馆
|
|
|
2
|
277415
|
202774159
|
自科库401/401自科库 40排2列4层/
[索取号:O141/N440]
|
在馆
|
|
|
3
|
277416
|
202774168
|
自科库401/401自科库 40排2列4层/
[索取号:O141/N440]
|
在馆
|
|
