机读格式显示(MARC)

• 000 00680cam 2200241 a 4500

• 001 0000575643

• 003 JHUL

• 005 20070111162000.0

• 008 061019s2005 cc b 001 0 eng d

• 020 __ |a 7030166515

• 040 __ |a JHUL

• 050 04 |a QA76.6

• 082 00 |a 005.13/1 |2 19

• 090 __ |a TP311/D812

• 093 __ |a TP311 |2 4

• 100 1_ |a Duan, Zhenhua.

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

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

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

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

• 650 _0 |a Computer programming.

• 650 _0 |a Logic programming.

• 950 __ |a JHUL |b TP311 |c D812