Logic program synthesis and transformation-- Meta-programming in Logic
Subtitle: 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings
By: Laurent Fribourg, Franco Turini, (Eds.).
Contributors: Fribourg, Laurent.; Turini, Franco.; International Workshop on Metaprogramming in Logic, (4th : 1994 : Pisa, Italy)
Series: Lecture notes in computer science -- 883
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; London
Language: eng
Number of pages: 450
Subjects: Logic programming -- Congresses.
Other titles: META '94.