Automated deduction in geometry.
- Publisher: Springer
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 42830413
- Subject: Geometry Data processing Congresses.
- Subject code: QA
- Publication history: Sept. 27-29, 1996-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1996; 1998; 2000; 2002; 2004 | permanent |