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
20b5b569-9177-4ca6-b907-ae5e1219c19a


Loading