Research Catalog

Logic program synthesis and transformation : proceedings of LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991

Title
Logic program synthesis and transformation : proceedings of LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 / sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau (eds.)
Author
International Workshop on Logic Program Synthesis and Transformation (1991 : University of Manchester)
Publication
London ; New York : Springer-Verlag, [1992], ©1992.

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 1991Off-site

Holdings

Details

Additional Authors
  • Clement, T. P. (Timothy Paul), 1954-
  • Lau, K.-K. (Kung-Kiu), 1953-
  • Association for Logic Programming.
  • ALPUK.
Description
x, 337 : illustrations; 25 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
  • 0387197427 (New York)
  • 3540197427 (Berlin)
LCCN
91043556
OCLC
  • 24871253
  • ocm24871253
Owning Institutions
Columbia University Libraries