Logic program synthesis and transformation:proceedings of LOPSTR '91, International Workshop on..., University of Manchester, 4-5 July 1991
Saved in:
Corporate Authors: | ; ; |
---|---|
Group Author: | ; ; ; |
Published: |
Springer-Verlag,
|
Publisher Address: | London |
Publication Dates: | c1992. |
Literature type: | Book |
Language: | English |
Series: |
Workshops in computing |
Subjects: | |
Carrier Form: | x, 337: ill. ; 24 cm. |
ISBN: | 3540197427 (Berlin) |
Index Number: | TP311 |
CLC: | TP311.11-532 |
Call Number: | TP311.11-53/I61.1/1991/ |
Contents: |
"Published in collaboration with the British Computer Society." Includes bibliographical references and index. |