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: Yves Deville, ed.
Contributors: Deville, Yves, 1960-; British Computer Society.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1994
Place of publication: London; New York
Language: eng
Number of pages: 245
Subjects: Logic programming -- Congresses.
Notes: Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."