Jump to Main Content
News
we:kb News
Search
All Components
Packages
Platforms
Providers
Titles
Vendors
Curatory Groups
Sources
Login
Identifier: 978-3-540-39240-8
Identifier Namespace
eisbn
Identifier
978-3-540-39240-8
Identified Components with same Identifier:
Title
Package
Namespace
6th Conference on Automated Deduction
(Current)
Springer Nature - Springer Book Archive - Springer Computer Science before 1990
eisbn
6th Conference on Automated Deduction
(Current)
Springer Nature - Springer Book Archive - Springer Computer Science
eisbn
6th Conference on Automated Deduction
(Current)
Springer Nature - Springer Lecture Notes in Computer Science eBooks
eisbn
Edit (Login required)
Date Created
2020-01-20 13:40:32
Last Updated
2020-01-20 13:40:32
UUID
cac01c1f-847a-44b6-90c9-6b239f54c232
Loading