Logic programming: proceedings of the North American conference, 1989/

Other Authors: Lusk, Ewing, Overbeek, Ross A.
Format: Book
Language:English
Published: Cambridge, Mass.: MIT Press, c1989
Series:Logic programmimg
Subjects:
Item Description:'On constructive negation in logic programming / Teodor C. Przymusinski' (19 p.) inserted.
Physical Description:2 v. (x, 1239 p.) : ill. ; 23 cm.
ISBN:0262620642