Conference series Beta
International Workshop on Proof Exchange for Theorem Proving (PxTP)
PxTP
- Events
- 7 (2011 to 2021)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s10d5re
Events (7)
20112021
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| confref portal (2020) | |
|---|---|
| Wikidata | |
| dblp |
Cite
International Workshop on Proof Exchange for Theorem Proving (PxTP). confref identifier s10d5re. https://id.confref.org/series/s10d5re
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.