Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 : sponsored by the

Publication Data

• Title Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 : sponsored by the
• Contributors K.-K Lau, T. P. Clement, British Computer Society
• Publisher Springer-Verlag in collaboration with the British Computer Society
• Publication date 1993
• Publication location London
• Language English

Topics

• England

Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 : sponsored by the. ISBN 3540198067. Published by Springer-Verlag in collaboration with the British Computer Society in 1993. Publication and catalogue information, links to buy online and reader comments.