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
Author(s)
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
(Workshops in computing)
Springer-Verlag, c1994
Available at / 13 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Louvain-||la-Neuve||1993.793083131
-
No Libraries matched.
- Remove all filters.
Note
"Published in collaboration with the British Computer Society."
Includes bibliographical references and index