- Date Created
- 2023-04-28 16:56:49
- Last Updated
- 2023-04-28 16:56:49
- UUID
- 1878f215-4cee-4845-bf70-e2c79a93d17d
Identifier: 1888649
- Identifier Namespace
- title_id
- Identifier
- 1888649
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
Automated Theorem Proving: a Logical Basis (Current) | ProQuest_Ebook Central DDA | title_id |