Event Beta
International Conference on Automated Deduction
CADE
- Date
- 1992-06-15/18
- Place
- Saratoga Springs, United States on the map
- Series
- International Conference on Automated Deduction
- Edition
- 11
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e101496
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings Lecture Notes in Computer Science 607 | 10.1007/3-540-55602-8 | 1992 | dblp |
| Automated Deduction—CADE-11 LNCS 607 | 10.1007/3-540-55602-8 | 1992 | Springer |
Where the sources disagree
- place: springer-lod: Q1144357; dblp: Q1144357; confref-portal: Q1144357; 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 e101496. https://id.confref.org/event/e101496
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.