Identifier: 10.1007/978-0-387-34768-4

Identifier Namespace
title_id
Identifier
10.1007/978-0-387-34768-4


Identified Components with same Identifier:

Title Package Namespace
7th International Conference on Automated Deduction (Current) Springer Nature - Springer Lecture Notes in Computer Science eBooks title_id
7th International Conference on Automated Deduction (Current) Springer Nature - Springer Book Archive - Springer Computer Science before 1990 title_id
7th 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:47
Last Updated
2022-01-31 13:34:47
UUID
cd93c4d8-07c9-4f7c-98c9-11a5275643d7


Loading