Event Beta
International Conference on Automated Deduction
CADE
- Date
- 1997-07-13/17
- Place
- Townsville, Australia on the map
- Series
- International Conference on Automated Deduction
- Edition
- 14
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e1014c0
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings Lecture Notes in Computer Science 1249 | 10.1007/3-540-63104-6 | 1997 | dblp |
| Automated Deduction—CADE-14 LNCS 1249 | 10.1007/3-540-63104-6 | 1997 | Springer |
Where the sources disagree
- place: springer-lod: Q190021; dblp: Q2000749; confref-portal: Q190021; gnd: Q2868
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 e1014c0. https://id.confref.org/event/e1014c0
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.