机读格式显示(MARC)

• 000 01245nam2 2200325 4500

• 001 0000162827

• 005 20050602090406.0

• 010 __ |a 7-111-16053-3 |d CNY49.00

• 100 __ |a 20050421d2005 em y0chiy0110 ea

• 101 0_ |a eng

• 102 __ |a CN |b 110000

• 105 __ |a a z 001yy

• 106 __ |a r

• 200 1_ |a 面向计算机科学的数理逻辑 |A mian xiang ji suan ji ke xue de shu li luo ji |9 mian xiang ji suan ji ke xue de shu li luo ji |e 系统建模与推理 |E xi tong jian mo yu tui li |f (英)胡思(Michael Huth，(英)Mark Ryan著

• 205 __ |a 第2版 |b 英文版

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

• 215 __ |a 427页 |c 图 |d 24cm

• 225 2_ |a 经典原版书库 |A jing dian yuan ban shu ku

• 305 __ |a 本书英文影印版由英国剑桥大学出版社授权出版 据原书第2版影印

• 330 __ |a 本书介绍了命题逻辑、谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。

• 461 _0 |1 2001 |a 经典原版书库

• 517 1_ |a 系统建模与推理 |A xi tong jian mo yu tui li |9 xi tong jian mo yu tui li

• 606 0_ |a 数理逻辑 |A shu li luo ji |j 英文

• 690 __ |a O141 |v 4

• 701 _1 |c (英) |a 胡思 |A hu sai |9 hu si |b M. |4 著

• 701 _1 |c (英) |a Huth |A Hut |b Michael |4 著

• 701 _1 |c (英) |a Ryan |A Rya |b Mark |4 著

• 801 _0 |a CN |b ZL |c 20050421

• 905 __ |a HIEL |d O141/460

• 999 __ |a 24 |b 3 |e 05183