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

Author(s)

• International Workshop on Logic Program Synthesis and Transformation
• Clement, T. P. (Timothy Paul)
• Lau, K.-K. (Kung-Kiu)
• Association for Logic Programming

Bibliographic Information

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, [editors]

（Workshops in computing）

Springer-Verlag, c1992

• : us
• : gw

Note

"Published in collaboration with the British Computer Society."

Includes bibliographical references and index

Details

• NCID: BA14266724
• ISBN:
  • 0387197427
  • 3540197427
• LCCN: 91043556
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: x, 337 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.63
  • DC20 : 005.1
• Subject Headings:
  • LCSH : Logic programming (Computer science) -- Congresses
• Parent Bibliography ID:
  • BA10637121