Logic programming: proceedings of the North American conference, 1989/
Other Authors: | , |
---|---|
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 |