Logic program synthesis and transformation-- Meta-programming in Logic
Subtitle: 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings
By: Laurent Fribourg, Franco Turini, (eds.)
Contributors: Fribourg, Laurent, 1957-; Turini, Franco, 1949-; META '94 (1994 : Pisa, Italy)
Series: Lecture notes in computer science ;; 883
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 450
Subjects: Logic programming -- Congresses
Notes: Includes bibliographical references and index.