- Date Created
- 2023-04-28 16:56:49
- Last Updated
- 2023-04-28 16:56:49
- UUID
- 4e308443-4765-42f1-a850-0eee5ded09db
Identifier: 9781483296777
- Identifier Namespace
- eisbn
- Identifier
- 9781483296777
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
Automated Theorem Proving: a Logical Basis (Current) | ProQuest_Ebook Central DDA | eisbn |