5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980. Ed. by W. Bibel and R. Kowalski (Q1137026)
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: 5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980. Ed. by W. Bibel and R. Kowalski |
scientific article; zbMATH DE number 3666726
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980. Ed. by W. Bibel and R. Kowalski |
scientific article; zbMATH DE number 3666726 |
Statements
5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980. Ed. by W. Bibel and R. Kowalski (English)
0 references
1980
0 references
Conference
0 references
Automated deduction
0 references
Les Arcs/France
0 references
automated deduction
0 references
CADE-5
0 references
