机读格式显示(MARC)

• 000 01455nam2 2200397 4500

• -01 __gzk0413223

• -09 __zyk0189029

• -98 __bm5

• -99 __tsg

• 001 0000189005

• 005 20080525083645.5

• 010 __ |a 978-7-111-21397-0 |d CNY39.00

• 021 __ |a CN |b 图字：01-2005-2766

• 100 __ |a 20071020d2007 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 面向计算机科学的数理逻辑 |A Mian Xiang Ji Suan Ji Ke Xue De Shu Li Luo Ji |e 系统建模与推理 |d = Logic in computer science |e modelling and reasoning about systems |f (德) Michael Huth, (英) Mark Ryan著 |F ( De ) Michael Huth, ( Ying ) Mark Ryan Zhu |g 何伟, 樊磊译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2007.7

• 215 __ |a 12, 227页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书

• 320 __ |a 有书目

• 330 __ |a 本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。

• 410 _0 |0 2001 |a 计算机科学丛书

• 500 10 |a Logic in computer science |m chi

• 517 1_ |a 系统建模与推理 |A Xi Tong Jian Mo Yu Tui Li

• 606 0_ |a 数学逻辑 |A Shu Xue Luo Ji |x 高等学校 |j 教材

• 690 __ |a O141 |v 4

• 701 _1 |c (德) |a 胡特 |A Hu Te |g (Huth, Michael) |4 著

• 701 _1 |c (英) |a 瑞安 |A Rui An |g (Ryan, Mark) |4 著

• 702 _0 |a 何伟 |A He Wei |4 译

• 702 _0 |a 樊磊 |A Fan Lei |4 译

• 801 _0 |a CN |b ATTC |c 20080525

• 905 __ |a ASTU |d O141/15

• 915 __ |d O141 |e 15 |b 704844-6