6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 (Q1159599)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 |
scientific article |
Statements
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 (English)
0 references
1982
0 references
Automated deduction
0 references
Conference
0 references
New York
0 references
CADE-6
0 references
