Tools
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.
| Other Authors: | Lau, K.-K. 1953-, Clement, T. P. 1954- |
|---|---|
| Language(s): | English |
| Published: |
London ; Springer-Verlag, c1993. |
| Subjects: |
Logic programming
> Congresses.
|
| Physical Description: |
xii, 270 p. :
ill. ;
24 cm.
|
| Original Format: |
Book Conference |
| ISBN: |
0387198067 (New York : acid-free paper) : 3540198067 (Berlin : acid-free paper) |
| Locate a Print Version: |
Find in a library |
Viewability:
- Limited (search only) (original from University of California)