Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

Bibliographic Information

Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

Yves Deville, ed

(Workshops in computing)

Springer-Verlag, c1994

Available at  / 13 libraries

Search this Book/Journal

Note

"Published in collaboration with the British Computer Society."

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top