6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 (Q1159599)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 |
scientific article; zbMATH DE number 3747011
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 |
scientific article; zbMATH DE number 3747011 |
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
0 references
0.87229216
0 references
0 references
0.8700192
0 references
0.8684558
0 references
0.8672539
0 references
0.8583896
0 references
0.8568517
0 references
0.85304755
0 references
