Event Beta
International Conference on Automated Deduction
CADE
- Date
- 1980-07-08/11
- Place
- Les Arcs, France on the map
- Series
- International Conference on Automated Deduction
- Edition
- 5
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e10143j
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 LNCS 87 | 10.1007/3-540-10009-1 | 1980 | Springer |
| 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings Lecture Notes in Computer Science 87 | 10.1007/3-540-10009-1 | 1980 | dblp |
Where the sources disagree
- start date: springer-lod: 1980-07-08; confref-portal: 1980-01-01
The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| dblp |
Cite
International Conference on Automated Deduction. confref identifier e10143j. https://id.confref.org/event/e10143j
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.