- Date Created
- 2022-01-31 13:34:39
- Last Updated
- 2022-01-31 13:34:39
- UUID
- c434df88-e088-44c2-bda3-6226f3a0f255
Identifier: 10.1007/BFb0000048
- Identifier Namespace
- title_id
- Identifier
- 10.1007/BFb0000048
Identified Components with same Identifier:
| Title | Package | Namespace |
|---|---|---|
| 6th Conference on Automated Deduction (Current) | Springer Nature - Springer Lecture Notes in Computer Science eBooks | title_id |
| 6th Conference on Automated Deduction (Current) | Springer Nature - Springer Book Archive - Springer Computer Science before 1990 | title_id |
| 6th Conference on Automated Deduction (Current) | Springer Nature - Springer Book Archive - Springer Computer Science | title_id |