Event Beta
International Conference on Theorem Proving in Higher Order Logics
TPHOLTPHOLs 1997TPHOLs
- Date
- 1997-08-19/22
- Place
- Murray Hill, United States on the map
- Series
- International Conference on Theorem Proving in Higher Order Logics
- Edition
- 10
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e108e7j
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Theorem Proving in Higher Order Logics LNCS 1275 | 10.1007/bfb0028381 | 1997 | Springer |
| Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings Lecture Notes in Computer Science 1275 | 10.1007/bfb0028381 | 1997 | dblp |
Where the sources disagree
- place: springer-lod: Q972757; dblp: Q972757; wikidata: Q14705780; confref-portal: Q972757; gnd: Q984466
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) | |
| Wikidata | |
| dblp | |
| GND |
Cite
International Conference on Theorem Proving in Higher Order Logics. confref identifier e108e7j. https://id.confref.org/event/e108e7j
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.