- Date Created
- 2024-08-05 21:21:16
- Last Updated
- 2024-08-05 21:21:16
- UUID
- c81cfd7e-bc65-490d-968f-1b04a1d52996
Identifier: 978-3-031-63497-0
- Identifier Namespace
- isbn
- Identifier
- 978-3-031-63497-0
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
Automated Reasoning (Current) | Springer Nature - Springer Lecture Notes in Computer Science eBooks | isbn |