机读格式显示(MARC)
- 000 01010nam2 2200289 4500
- 008 911017s1989 maua b 001 0 eng d
- 020 __ |a 0262620642 |c CNY23.10
- 090 __ |a TP311-53/E1:2:(89)
- 099 __ |a CAL 022000887738
- 245 10 |a Logic programming |b proceedings of the North American conf., 1989 |c ed. by Ewing L. Llusk and Ross A. Overbeek
- 260 __ |a Cambridge, Mass. |b MIT Pr. |c c1989
- 300 __ |a 2 v. (x, 1239 p.) |b ill. |c 23 cm.
- 440 _0 |a Logic programming
- 500 __ |a "On constructive negation in logic programming / Teodor C. Przymus nski" (19 p.) inserted.
- 650 _0 |a Loogic programming -- Cong.
- 700 1_ |a Llusk, Ewing L.
- 905 __ |a XATU |d TP311-53/E1:2:(89)
- 950 __ |a 261060 |f TP311-53/E1:2:(89)
- 999 __ |t C |A zhaining |a 20050126 10:05:53 |M zhaining |m 20050126 10:08:58 |G zhaining |g 20050126 10:09:1