机读格式显示(MARC)

• 000 00851nam 2200277 a 4500

• 001 0000405336

• 003 SCNU

• 005 20061031150831.0

• 008 061025s2005 cc b 001 0 eng d

• 020 __ |a 7030166515

• 040 __ |a SCNU |c SCNU

• 093 __ |a TP312 |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 c2005.

• 300 __ |a 196 p. : |c 24 cm.

• 504 __ |a Includes bibliographical reference and index.

• 650 _0 |a Tense (Logic)

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

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Time.

• 950 __ |a SCNU |f TP312/D812

• 999 __ |t A |A zxq |a 20061025 09:09:40 |M zxq |m 20061031 15:08:31 |G zxq |g 20061031 15:08:55

• 000 1000018933

• 991 __ |a 022006001441

• 907 __ |a SCNU |f TP312/D812