- Date Created
- 2024-08-30 07:49:39
- Last Updated
- 2024-08-30 07:49:39
- UUID
- 7b0208cf-7b66-46e9-b167-3c7ca553b093
Title Update Infos: Interactive Theorem Proving
- Package Update Info
- Springer Nature - Springer Computer Science eBooks 2018 English International
- Description
- Changes in Title 'Interactive Theorem Proving'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2024-08-30
- End Time
- 2024-08-30
- KBART Field
- notes
- Old Value
- Hybrid
- New value
- Empty