Event Beta
International Conference on Automated Deduction
CADE
- Date
- 1990-07-24/27
- Place
- Kaiserslautern, Germany on the map
- Series
- International Conference on Automated Deduction
- Edition
- 10
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e101488
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| 10th International Conference on Automated Deduction LNCS 449 | 10.1007/3-540-52885-7 | 1990 | Springer |
| 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings Lecture Notes in Computer Science 449 | 10.1007/3-540-52885-7 | 1990 | dblp |
Where the sources disagree
- place: springer-lod: Q3758; dblp: Q3758; confref-portal: Q3758; 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 e101488. https://id.confref.org/event/e101488
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.