
Computer Science Logic
Laurent Fribourg
₹4,000

4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 20 - 2
by Laurent Fribourg, Franco Turini
Free delivery. Nothing extra to pay at checkout.
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops.
Description supplied by the publisher.