Logic program synthesis and transformation
Subtitle: proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 : sponsored by the Association for Logic Programming and ALPUK
By: Kung-Kiu Lau and Tim Clement, eds.
Contributors: Lau, K.-K.; Clement, T. P. 1954-; British Computer Society.
Series: Workshops in computing
Publisher: Springer-Verlag in collaboration with the British Computer Society
Published: 1993
Place of publication: London
Language: eng
Number of pages: 270
Subjects: Logic programming -- Congresses.