Jump to Main Content
News
we:kb News
Search
All Components
Packages
Platforms
Providers
Titles
Vendors
Curatory Groups
Sources
Login
Identifier: 978-3-540-11558-8
Identifier Namespace
isbn
Identifier
978-3-540-11558-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
isbn
6th Conference on Automated Deduction
(Current)
Springer Nature - Springer Book Archive - Springer Computer Science
isbn
6th Conference on Automated Deduction
(Current)
Springer Nature - Springer Lecture Notes in Computer Science eBooks
isbn
Edit (Login required)
Date Created
2020-01-20 13:40:32
Last Updated
2020-01-20 13:40:32
UUID
540a639a-8a08-4e2a-9158-a4df8cdff12b
Loading