-
Title
-
A Many-Sorted Calculus Based on Resolution and Paramodulation
-
Package
-
Book Series Backfile Package - Chemistry [YBCHEM]
-
Platform
-
ScienceDirect
-
URL
-
https://www.sciencedirect.com/science/book/9780273087182
-
Status
-
Deleted
-
Publication Type
-
Monograph
-
Medium
-
Empty
-
Language
-
-
First Author
-
Christoph Walther
-
First Editor
-
Empty
-
Publisher Name
-
Morgan Kaufmann
-
Date First in Print
-
1987-01-01
-
Date First Online
-
2015-04-10
-
Access Start Date
-
Empty
-
Access End Date
-
Empty
-
Volume Number
-
Empty
-
Edition Statement
-
Empty
-
Access Type
-
Empty
-
Note
-
Empty
-
Last Changed External
-
Empty
- Date Created
-
2024-07-08 20:40:22
- Last Updated
-
2024-07-09 20:00:40
- UUID
-
5e5ceb9a-71ad-4af1-81a8-25e10663e424
Identifier Namespace Name |
Identifier Namespace Value |
Identifier |
eISBN
|
eisbn
|
978-0-273-08718-2
|
Title_ID
|
title_id
|
9780273087182
|
Dewey Decimal Classification |
-
Series
-
Empty
-
Parent publication title ID
-
Empty
-
Superseding publication title ID
-
Empty
-
Preceding publication title ID
-
Empty
Price Type |
Value |
Currency |