Identifier: 10.1007/3-540-16780-3

Identifier Namespace
title_id
Identifier
10.1007/3-540-16780-3


Identified Components with same Identifier:

Title Package Namespace
8th International Conference on Automated Deduction (Current) Springer Nature - Springer Lecture Notes in Computer Science eBooks title_id
8th International Conference on Automated Deduction (Current) Springer Nature - Springer Book Archive - Springer Computer Science before 1990 title_id
8th International Conference on Automated Deduction (Current) Springer Nature - Springer Book Archive - Springer Computer Science title_id
Edit (Login required)
Date Created
2022-01-31 13:34:36
Last Updated
2022-01-31 13:34:36
UUID
c906d5f8-b00a-47d8-8f32-c607d06af0b8


Loading