Logic-based program synthesis and transformation /
- Publisher: Springer
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 41449008
- Subject: Logic programming Congresses.
- Subject code: QA
- Publication history: 8th (June 15-19, 1998)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1998-2005 | permanent |