- Date Created
- 2023-04-28 16:56:49
- Last Updated
- 2023-04-28 16:56:49
- UUID
- a224fb92-fd71-4419-aa87-f6b701e1fc59
Identifier: 9780720404999
- Identifier Namespace
- isbn
- Identifier
- 9780720404999
Identified Components with same Identifier:
| Title | Package | Namespace |
|---|---|---|
| Automated Theorem Proving (Deleted) | Book Series Backfile Package - Chemistry [YBCHEM] | title_id |
| Automated Theorem Proving (Current) | eBook - Focus: Mathematical Sciences [EBFCMATHSC] | title_id |
| Automated Theorem Proving (Current) | eBook - Mathematics (Legacy 1) [EBCML1] | title_id |
| Automated Theorem Proving (Current) | eBook - All Access Books [EBAAB] | title_id |
| Automated Theorem Proving: a Logical Basis (Current) | ProQuest_Ebook Central DDA | isbn |