Logic programming and automated reasoning :
- Publisher: Springer-Verlag
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 31686079
- Subject: Logic programming Congresses.
- Subject code: QA
- Publication history: -5th (1994).
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1992-1994; 1999-2000 | permanent |