Logic Program Synthesis and Transformation
Subtitle: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993
Publisher: Springer
Published: Oct 20, 2012
Format: paperback
Number of pages: 264
ISBN-13: 9781447132356
Notes: Source title: Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993