Logic programming : proceedings of the North American conference, 1989 / edited by Ewing L. Lusk and Ross A. Overbeek.

Other author Lusk, Ewing.
Other author Overbeek, Ross A.
Format Book
Publication InfoCambridge, Mass. : MIT Press, ©1989.
Description2 volumes (x, 1239 pages) : illustrations ; 23 cm.
Subjects

SeriesLogic programmimg
Logic programmimg. UNAUTHORIZED
Local noteJoyner-Addendum: On constructive negation by Teodor C. Przymusinski, 1989.
General note"On constructive negation in logic programming / Teodor C. Przymusinski" (19 p.) inserted.
LCCN 89038942
ISBN0262620642 (set)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.63 .L643 1989 V.1 ✔ Available Place Hold
Joyner General Stacks QA76.63 .L643 1989 V.2 ✔ Available Place Hold