00700cam a2200157 a 450000500170000000800410001703500150005805000170007324501070009026000410019730000090023844000420024750001270028965000340041671100920045020260818153703.0951014s1987 us r 100|0 eng | a.b1040750900aQA76.6bL58900aLogic programming :bproceedings of the fourth international conference /cedited by Jean-Louis Lassez aCambridge, Mass. :bMIT Press,c1987 a2 v. 0aMIT Press series in logic programming aPapers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987 0aLogic programmingvCongresses2 aInternational Conference on Logic Programmingn(4th :d1987 :cUniversity of Melbourne)