Logic programming
Subtitle: proceedings of the North American conference, 1989
By: edited by Ewing L. Lusk and Ross A. Overbeek.
Contributors: Lusk, Ewing.; Overbeek, Ross A.
Series: Logic programmimg
Publisher: MIT Press
Published: 1989
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 1239
Subjects: Logic programming -- Congresses.
Notes: "On constructive negation in logic programming / Teodor C. Przymusinski" (19 p.) inserted.