- Date Created
- 2024-07-08 20:44:32
- Last Updated
- 2024-07-08 20:44:32
- UUID
- 0e161043-d4d0-40f1-b727-81b192bc8810
Title Update Infos: Symbolic Logic and Mechanical Theorem Proving
- Package Update Info
- Book Series Backfile Package - Chemistry [YBCHEM]
- Description
- New Title 'Symbolic Logic and Mechanical Theorem Proving'
- Status
- Successful
- Type
- New Title
- Start Time
- 2024-07-08
- End Time
- 2024-07-08
- KBART Field
- Empty
- Old Value
- Empty
- New value
- Empty