Identifier: 978-0-387-96022-7

Identifier Namespace
isbn
Identifier
978-0-387-96022-7


Identified Components with same Identifier:

Title Package Namespace
7th International Conference on Automated Deduction (Current) Springer Nature - Springer Book Archive - Springer Computer Science before 1990 isbn
7th International Conference on Automated Deduction (Current) Springer Nature - Springer Book Archive - Springer Computer Science isbn
7th International Conference on Automated Deduction (Current) Springer Nature - Springer Lecture Notes in Computer Science eBooks isbn
Edit (Login required)
Date Created
2023-09-12 09:47:44
Last Updated
2023-09-12 09:47:44
UUID
eb6e1c7f-0c5a-42a6-837b-2be5ab10aad4


Loading