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
896a8787-4b1b-4d02-8809-8b9bc74059e1


Loading