Identifier: 10.1007/3-540-52885-7

Identifier Namespace
title_id
Identifier
10.1007/3-540-52885-7


Identified Components with same Identifier:

Title Package Namespace
10th International Conference on Automated Deduction (Current) Springer Nature - Springer Lecture Notes in Computer Science eBooks title_id
10th International Conference on Automated Deduction (Current) Springer Nature - Springer Book Archive - Springer Computer Science title_id
10th International Conference on Automated Deduction (Current) Springer Nature - Springer Book Archive - Springer Computer Science 1990-1999 title_id
Edit (Login required)
Date Created
2022-02-16 07:29:53
Last Updated
2022-02-16 07:29:54
UUID
47460a2f-370a-4bd8-874c-d087f4c47c08


Loading