Cover Image

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

Bibliographic Details
Other Authors: Lusk, Ewing, Overbeek, Ross A.
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, [1989]
Series:Logic programming.
Subjects:
Logic programming > Congresses.
Description
Item Description:"On constructive negation in logic programming / Teodor C. Przymusinski" (19 pages) inserted.
Physical Description:2 volumes (x, 1239 pages) : illustrations ; 23 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0262620642 (set)