Automated deduction, CADE ... /
- Publisher: Springer-Verlag
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 39359395
- Subject: Automatic theorem proving Congresses.
- Subject code: QA
- Publication history: 11th (June 15-18, 1992)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1992; 1994; 1994 (12); 1996; 1996 (13); 1997; 1997 (14); 1998; 1998 (15); 1999; 1999 (16); 2000; 2000 (17); 2002-2003; 2005 | permanent |