Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986  proceedings 
edited by Ehud Shapiro. -- 
 - Berlin  New York  Springer-Verlag  c1986 
 - ix, 720 p  ill  24 cm. -- 
 - Lecture notes in computer science  225 .
<br/><br/> Cuprinde bibliografie pe capitole 
<br/><br/><label>ISBN: </label>0387164928 (U.S. : pbk.) 
<br/><br/><label>LCCN: </label>86013477 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming--Congresses