Logic programming
Subtitle: proceedings of the seventh international conference
By: edited by David H.D. Warren and Peter Szeredi.
Contributors: Warren, David H. D.; Szeredi, Peter, 1949-
Series: Logic programming
Publisher: MIT Press
Published: 1990
Place of publication: Cambridge, Mass; London
Language: eng
Number of pages: 788
Notes: Conference proceedings.

Includes index.