机读格式显示(MARC)

• 000 00687cam a2200229 a 4500

• 001 0000192930

• 003 CAL

• 005 20100316085400.0

• 008 061019s2005 cc b 001 0 eng d

• 020 __ |a 7030166515

• 040 __ |a TSU |c TSU |d NKL

• 090 __ |a TP311.11/E6

• 093 __ |a TP311.11 |2 4

• 099 __ |a CAL 022006115949

• 100 1_ |a Duan, Zhenhua.

• 245 10 |a Temporal logic and temporal logic programming / |c Duan Zhenhua.

• 260 __ |a Beijing : |b Science Press, |c c2005.

• 300 __ |a v, 196 p. ; |c 27 cm.

• 504 __ |a Includes bibliographical references (p. [187]-194) and index.

• 650 _0 |a Electronic digital computers |x Programming.

• 650 _0 |a Logic programming.

• 920 __ |a 222016 |z 2