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