书名：
面向计算机科学的数理逻辑
作者：
胡特
，
瑞安
著
；何伟
，
樊磊
译
出版信息：
北京
机械工业出版社
2007
开本页数：
26cm
277页
丛书名：
计算机科学丛书
单 册：
中图分类：
O141
科图分类：
主题词：
数理逻辑
电子资源：
ISBN：
978-7-111-21397-0
000
01356oam2-2200325 450-
001
0100005648
010
@ a978-7-111-21397-0@ dCNY39.00
100
@ a20070327d2007 em y0chiy50 ea
101
1
@ achi@ ceng
102
@ aCN@ b110000
105
@ ay z 000yy
106
@ ar
200
1
@ a面向计算机科学的数理逻辑@ 9mian xiang ji suan ji ke xue de shu li luo ji@ b专著@ e系统建模与推理@ dLogic in computer science@ emodelling and reasoning about systems@ f(德)Michael Huth，(英)Mark Ryan著@ F ( de )Michael Huth ( ying )Mark Ryan zhu@ g何伟，樊磊译@ Ghe wei fan lei yi@ zeng
210
@ a北京@ c机械工业出版社@ d2007
215
@ a277页@ d26cm
225
2
@ a计算机科学丛书
305
@ a由英国剑桥大学出版社授权出版 据原书第2版译出
330
@ a本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。
461
0
@ 12001 @ a计算机科学丛书
510
1
@ aLogic in computer science@ emodelling and reasoning about systems@ zeng
517
1
@ a系统建模与推理@ 9xi tong jian mo yu tui li
606
0
@ a数理逻辑
690
@ aO141@ v4
701
0
@ c(德)@ a胡特@ 9hu te@ c(Huth, Michael)@ 4著
701
0
@ c(英)@ a瑞安@ 9rui an@ c(Ryan, Mark)@ 4著
702
0
@ a何伟@ 9he wei@ c(通信工程)@ 4译
702
0
@ a樊磊@ 9fan lei@ 4译
801
@ aCN@ bnygyxylib
901
@ a000010
905
@ dO141@ b681733-5@ e110.92@ f3
面向计算机科学的数理逻辑：系统建模与推理=Logic in computer science：modelling and reasoning about systems/(德)Michael Huth，(英)Mark Ryan著/何伟，樊磊译.-北京：机械工业出版社，2007 277页；26cm.-(计算机科学丛书) ISBN 978-7-111-21397-0：CNY39.00 本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
681733
206817337
自科库401/401自科库 40排2列2层/
[索取号:O141/110.92]
在馆
2
681734
206817346
自科库401/401自科库 40排2列2层/
[索取号:O141/110.92]
在馆
3
681735
206817355
自科库401/401自科库 40排2列2层/
[索取号:O141/110.92]
在馆
