-
Title
-
10th International Conference on Automated Deduction
-
Package
-
Springer Nature - Springer Book Archive - Springer Computer Science
-
Platform
-
SpringerLink
-
URL
-
https://link.springer.com/10.1007/3-540-52885-7
-
Status
-
Current
-
Publication Type
-
Monograph
-
Medium
-
Empty
-
Language
-
-
First Author
-
Empty
-
First Editor
-
Stickel
-
Publisher Name
-
Springer Berlin Heidelberg
-
Date First in Print
-
1990-01-01
-
Date First Online
-
1990-01-01
-
Access Start Date
-
Empty
-
Access End Date
-
Empty
-
Volume Number
-
449
-
Edition Statement
-
1
-
Access Type
-
Paid
-
Note
-
Empty
-
Last Changed External
-
Empty
- Date Created
-
2022-02-16 07:29:53
- Last Updated
-
2024-06-17 21:57:20
- UUID
-
4a752475-7d96-4b19-a8f1-9610f4832de1
| Identifier Namespace Name |
Identifier Namespace Value |
Identifier |
|
eISBN
|
eisbn
|
978-3-540-47171-4
|
|
ISBN
|
isbn
|
978-3-540-52885-2
|
|
Title_ID
|
title_id
|
10.1007/3-540-52885-7
|
| Dewey Decimal Classification |
-
Series
-
Empty
-
Parent publication title ID
-
558
-
Superseding publication title ID
-
Empty
-
Preceding publication title ID
-
Empty
| Price Type |
Value |
Currency |