Logic programming :  proceedings of the fourth international conference / 
edited by Jean-Louis Lassez 
 - Cambridge, Mass. :  MIT Press,  1987 
 - 2 v. 
 - MIT Press series in logic programming .
<br/><br/> Papers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.6  / L589