机读格式显示(MARC)
- 000 01251nam2 2200349 4500
- 008 890804s1989 maua 10100 eng
- 020 __ |a 0262620642 (set) |c CNY24.90
- 050 00 |a QA76.63 |b .L643 1989
- 090 __ |a TP311-53/E1:1:(89)
- 099 __ |a CAL 021999670867
- 111 2_ |a North American Conference on Logic Programming |d (1989 : |c Cleveland, Ohio, USA.)
- 245 10 |a Logic programming : |b proceedings of the North American conference, 1989, |n v. 1 / |c edited by Ewing L. Lusk and Ross A. Overbeek.
- 260 __ |a Cambridge, Mass. : |b MIT Press, |c c1989.
- 300 __ |a 642 p. : |b ill. ; |c 23 cm.
- 440 _0 |a Logic programmimg
- 500 __ |a "On constructive negation in logic programming / Teodor C. Przymusinski" (19 p.) inserted.
- 650 _0 |a Logic programming |x Congresses.
- 700 1_ |a Overbeek, Ross A.
- 905 __ |a XATU |d TP311-53/E1:1:(89)
- 950 __ |a 261060 |f TP311-53/E1:1:(89)
- 999 __ |t C |A zhaining |a 20050126 09:00:57 |M zhaining |m 20050126 09:02:09 |G zhaining |g 20050126 09:02:3