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
By: edited by Yves Deville
Series: Workshops in Computing, 1431-1682; Workshops in computing
Publisher: Springer London
Published: 1994
Place of publication: London
Language: eng
Format: [electronic resource] :
Number of pages: 245
ISBN-13: 9781447132349