Logic Program Synthesis and Transformation
Subtitle: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991
Publisher: Springer
Published: Mar 12, 2014
Format: paperback
Number of pages: 348
ISBN-13: 9781447134954
Notes: Source title: Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991