- Date Created
- 2021-12-21 13:19:30
- Last Updated
- 2021-12-21 13:19:30
- UUID
- 36e3ad2b-958a-4585-b49a-6703f7933348
Identifier: 978-3-030-00703-4
- Identifier Namespace
- isbn
- Identifier
- 978-3-030-00703-4
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
Temporal Type Theory (Current) | Springer Nature English International Enhanced KBART 2016-2023 | isbn |
Temporal Type Theory (Current) | Springer Nature - Springer Mathematics and Statistics eBooks 2019 English International | isbn |