Event Beta
International Conference on Interactive Theorem Proving
ITP
- Date
- 2017-09-26/29
- Place
- Brasília, Brazil on the map
- Series
- International Conference on Interactive Theorem Proving
- Edition
- 8
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e105ez7
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Interactive Theorem Proving LNCS 10499 | 10.1007/978-3-319-66107-0 | 2017 | Springer |
| Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings Lecture Notes in Computer Science 10499 | 10.1007/978-3-319-66107-0 | 2017 | dblp |
Where the sources disagree
- start date: springer-lod: 2017-09-26; confref-portal: 2017-09-23
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 |
Cite
International Conference on Interactive Theorem Proving. confref identifier e105ez7. https://id.confref.org/event/e105ez7
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.