00736cam a2200181 a 450000500170000000800410001703500150005805000210007311100980009424501570019226000370034930000110038644000490039765000340044665000320048070000230051270000190053520260817162106.0080423s1992 gw r 100|0 eng | a.b1150819x00aQA76.6bI56 19922 aInternational Conference on Algebraic and Logic Programmingn(3rd :d1992 :cVolterra, Italy)10aAlgebraic and logic programming :bThird International Conference, Volterra, Italy, September 2-4, 1992 :bproceedings /cH. Kirchner and G. Levi (eds.) aBerlin :bSpringer-Verlag,c1992 a457 p. 0aLecture notes in computer science ;vno. 632 0aLogic programmingvCongresses 0aAlgebraic logicvCongresses1 aKirchner, H.,eed.1 aLevi, G.,eed.