- Date Created
- 2024-07-08 20:41:29
- Last Updated
- 2024-07-08 20:41:29
- UUID
- 7b714bfd-2bf9-4767-9caa-f209e3098e63
Identifier: 9780720404999
- Identifier Namespace
- title_id
- 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 |