Algebraic and logic programming :  Third International Conference, Volterra, Italy, September 2-4, 1992 :  proceedings / 
H. Kirchner and G. Levi (eds.) 
 - Berlin :  Springer-Verlag,  1992 
 - 457 p. 
 - Lecture notes in computer science ;  no. 632 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming--Congresses<br/>Algebraic logic--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.6  / I56 1992