Theorem proving in higher order logics :
- Publisher: Springer
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 39026902
- Subject: Automatic theorem proving Congresses.
- Subject code: QA
- Publication history: 9th (1996)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1996; 1996 (9); 1997; 1997 (10); 1998; 1998 (11); 1999; 1999 (12); 2000; 2000 (13); 2001-2005 | permanent |