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
By: sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau (eds.)
Contributors: Clement, T. P. 1954-; Lau, K.-K. 1953-; Association for Logic Programming.; UK Conference on Logic Programming.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1992
Place of publication: London; New York
Language: eng
Number of pages: 337
Subjects: Logic programming -- Congresses.
Notes: Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."