Algebraic and logic programming proceedings

Bibliographic Details
Main Author:	International Conference on Algebraic and Logic Programming (3rd: 1992: Volterra, Italy)
Other Authors:	Kirchner, H., Levi, G.
Format:	Book
Language:	English
Published:	Berlin Springer-Verlag 1992.
Subjects:	Logic, Symbolic and mathematical.