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

Bibliographic Details
Corporate Authors: International Workshop on Logic Program Synthesis and Transformation University of Manchester, Association for Logic Programming, ALPUK, British Computer Society
Other Authors: Lau, K.-K. (Kung-Kiu), 1953-, Clement, T. P. (Timothy Paul), 1954-
Format: Conference Proceeding Book
Language:English
Published: London ; New York : Springer-Verlag, [1993]
Series:Workshops in computing.
Subjects:
Description
Item Description:"Published in collaboration with the British Computer Society."
Physical Description:xii, 270 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0387198067 (New York : acid-free paper) :
3540198067 (Berlin : acid-free paper)