Logic-based program synthesis and transformation.
- Publisher: Springer-Verlag
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 214973230
- Subject: Logic programming Congresses.
- Subject code: QA
- Publication history: 4-5 July 1991-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1991 (1); 1992 (2); 1993 (3); 1994 (4); 1997 (7); 1998 (8); 1999 (9) | permanent |