Event Beta
International Conference on Automated Deduction
CADE
- Date
- 1988-05-23/26
- Place
- Argonne, United States on the map
- Series
- International Conference on Automated Deduction
- Edition
- 9
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e10147a
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| 9th International Conference on Automated Deduction LNCS 310 | 10.1007/bfb0012819 | 1988 | Springer |
| 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings Lecture Notes in Computer Science 310 | 10.1007/bfb0012819 | 1988 | dblp |
Where the sources disagree
- place: springer-lod: Q1658833; dblp: Q1658833; confref-portal: Q1658833; 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 e10147a. https://id.confref.org/event/e10147a
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.