Higher order logic theorem proving and its applications.
- Publisher: North-Holland
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 40258873
- Subject: Automatic theorem proving Congresses.
- Subject code: QA
- Publication history: -8th (Sept. 11-14, 1995).
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1992; 1993 (6th); 1994 (7th); 1995 (8th) | permanent |