Algebraic and logic programming
Subtitle: Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings
By: [edited by] H.Kirchner, G.Levi.
Contributors: Kirchner, H; Levi, G
Series: Lecture notes in computer science -- 632
Publisher: Springer-Verlag
Published: 1992
Place of publication: Berlin; New York
Language: eng
Number of pages: 457
Subjects: Logic programming -- Congresses.; Algebraic logic -- Congresses.