Logic program synthesis and transformation
By: Tim Clement and King-Kiu Lau (eds.).
Contributors: Clement, T. P. 1954-; Lau, K.-K. 1953-; British Computer Society.
Series: Workshops in computing
Publisher: Springer-Verlag in collaboration with the British Compute r Society
Published: 1992
Place of publication: London
Language: eng
Number of pages: 337