Higher order logic theorem proving and its applications :
- Publisher: Springer-Verlag
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 34867763
- Subject: Automatic theorem proving Congresses.
- Subject code: QA
- Publication history: 6th (Aug. 11-13, 1993)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1993; 1995 | permanent |