Types for proofs and programs.
- Publisher: Springer
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 40395215
- Subject: Automatic theorem proving Congresses.
- Subject code: QA
- Publication history: May 24-28, 1993-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1993-1996; 1998-2000; 2002-2004 | permanent |