Identifier: 978-3-540-47171-4

Identifier Namespace
eisbn
Identifier
978-3-540-47171-4


Identified Components with same Identifier:

Title Package Namespace
10th International Conference on Automated Deduction (Current) Springer Nature - Springer Book Archive - Springer Computer Science eisbn
10th International Conference on Automated Deduction (Current) Springer Nature - Springer Book Archive - Springer Computer Science 1990-1999 eisbn
10th International Conference on Automated Deduction (Current) Springer Nature - Springer Lecture Notes in Computer Science eBooks eisbn
Edit (Login required)
Date Created
2020-01-20 13:39:24
Last Updated
2020-01-20 13:39:24
UUID
e17189e1-f860-4c6d-96e8-4121cead08d5


Loading