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
2023-09-12 09:47:44
Last Updated
2023-09-12 09:47:44
UUID
01191eb7-80c1-4fe0-8bbb-ac338c1adf24


Loading