Research Catalog

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

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 Association for Logic Programming and ALPUK ; Kung-Kiu Lau and Tim Clement, eds.
Author
International Workshop on Logic Program Synthesis and Transformation (2nd : 1992 : University of Manchester)
Publication
London ; New York : Springer-Verlag, [1993], ©1993.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.63.I57 1992aOff-site

Holdings

Details

Additional Authors
  • Lau, K.-K. (Kung-Kiu), 1953-
  • Clement, T. P. (Timothy Paul), 1954-
  • Association for Logic Programming.
  • British Computer Society.
  • UK Conference on Logic Programming.
Description
xii, 270 pages : illustrations; 24 cm.
Series Statement
Workshops in computing
Uniform Title
Workshops in computing.
Subject
Note
  • "Published in collaboration with the British Computer Society."
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 0387198067 (New York : acid-free paper) :
  • 3540198067 (Berlin : acid-free paper)
LCCN
92043296
OCLC
  • 27107915
  • ocm27107915
Owning Institutions
Columbia University Libraries