01361nam2-2200373---450-99000579536020331620130114153302.03540164928000579536USA01000579536(ALEPH)000579536USA0100057953620130114d1986----km-y0itay50------baengDEa---||||001yyThird international conference on logic programmingImperial college of science and technologyLondon, United Kingdom, july 14-18, 1986proceedingsedited by Ehud ShapiroBerlin [etc.]Springercopyr. 1986IX, 720 p.ill.24 cmLecture notes in computer science2252001Lecture notes in computer science0010003149602001Lecture notes in computer scienceLinguaggi di programmazioneAtti di congressiLondra1986BNCF005.13SHAPIRO,EhudInternational conference on automated deduction<3.;1986;London>616228ITsalbcISBD990005795360203316001 LNCS 22518242/SM00100102371BKSCIANGELA9020130114USA011533Third international conference on logic programming1080975UNISA