Logic programming : proceedings of the Sixth International Conference /
Levi, G.(Giorgio),1942-
Martelli, Maurizio.
International Conference on Logic Programming(6th :1989 :Lisbon, Portugal)
Cambridge, Mass. ; London : MIT Press,
c1989.
"MIT Press series in logic programming"--CIP.
"Sixth International Conference on Logic Programming, held in Lisbon, Portugal, June 19-23, 1989"--Foreword.
Includes bibliographies.
Logic programming