Event Beta
International Conference on Automated Deduction
CADE
- Date
- 1994-06-26 to 1994-07-01
- Place
- Nancy, France on the map
- Series
- International Conference on Automated Deduction
- Edition
- 12
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e1014a4
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings Lecture Notes in Computer Science 814 | 10.1007/3-540-58156-1 | 1994 | dblp |
| Automated Deduction — CADE-12 LNCS 814 | 10.1007/3-540-58156-1 | 1994 | Springer |
Where the sources disagree
- place: springer-lod: Q40898; dblp: Q40898; confref-portal: Q40898; gnd: Q840712
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 | |
| GND |
Cite
International Conference on Automated Deduction. confref identifier e1014a4. https://id.confref.org/event/e1014a4
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.