7th international conference on automated deduction, Napa, California, USA, May 14-16, 1984. Proceedings (Q792298)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 3852989
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | 7th international conference on automated deduction, Napa, California, USA, May 14-16, 1984. Proceedings |
scientific article; zbMATH DE number 3852989 |
Statements
7th international conference on automated deduction, Napa, California, USA, May 14-16, 1984. Proceedings (English)
0 references
1984
0 references
Automated deduction
0 references
Conference
0 references
Proceedings
0 references
Napa/California
0 references
CADE-7
0 references
0.8505388498306274
0 references
0.838210940361023
0 references
0.8252895474433899
0 references
0.8252623677253723
0 references
