Event Beta
International Conference on Automated Deduction
CADE
- Date
- 2015-08-01/07
- Place
- Berlin, Germany on the map
- Series
- International Conference on Automated Deduction
- Edition
- 25
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e1014q9
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Automated Deduction - CADE-25 LNCS 9195 | 10.1007/978-3-319-21401-6 | 2015 | Springer |
| Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings Lecture Notes in Computer Science 9195 | 10.1007/978-3-319-21401-6 | 2015 | dblp |
Where the sources disagree
- start date: springer-lod: 2015-08-01; confref-portal: 2015-07-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 | |
| GND |
Cite
International Conference on Automated Deduction. confref identifier e1014q9. https://id.confref.org/event/e1014q9
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.