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
2020-01-20 13:49:31
Last Updated
2020-01-20 13:49:31
UUID
af6c45b7-c99d-40ee-83ab-f09b2bf8d8a1


Loading