机读格式显示(MARC)

• 000 00928nam2 2200289 4500

• 001 0000216943

• 005 20070411142159.0

• 005 20061019134924.8

• 010 __ |a 7-03-016651-5 |b 精装 |d CNY32.00

• 100 __ |a 20061019d2005 emky0chiy0120 ea

• 101 0_ |a eng |g chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a 时序逻辑与时序逻辑程序设计 |d Temporal logic and temporal logic programming |A shi xu luo ji yu shi xu luo ji cheng xu she ji |e [英文版] |f 段振华著

• 210 __ |a 北京 |c 科学出版社 |d 2005.1

• 215 __ |a 196页 |d 27cm

• 304 __ |a 编译员自译题名及责任者

• 320 __ |a 本书第187-194页附有书目，后还附有索引。

• 510 1_ |a Temporal logic and temporal logic programming |z eng

• 606 0_ |a 逻辑程序设计 |j 英文

• 606 0_ |a 逻辑程序设计

• 690 __ |a TP311.11 |v 4

• 701 _0 |a 段振华 |A duan zhen hua |4 著

• 801 _0 |a CN |b CEPC |c 20061019

• 905 __ |a HIEL |d TP311.11/752

• 999 __ |a 22 |b 3 |e 07111