International Conference on Automated Deduction ... proceedings.
- Publisher: Springer-Verlag
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 11489421
- Subject: Automatic theorem proving Congresses.
- Subject code: QA
- Publication history: 7th (1984)-10th (1990).
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1984; 1986; 1988 (9); 1990 | permanent |