Identifier: 978-3-540-52885-2

Identifier Namespace
isbn
Identifier
978-3-540-52885-2


Identified Components with same Identifier:

Title Package Namespace
10th International Conference on Automated Deduction (Current) Springer Nature - Springer Book Archive - Springer Computer Science isbn
10th International Conference on Automated Deduction (Current) Springer Nature - Springer Book Archive - Springer Computer Science 1990-1999 isbn
10th 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:39:24
Last Updated
2020-01-20 13:39:24
UUID
dff110f8-8eb5-4d04-8362-641b7c3d5f0a


Loading