-
Title
-
Automated Theorem Proving: a Logical Basis
-
Package
-
ProQuest_Ebook Central DDA
-
Platform
-
Ebook Central
-
URL
-
https://ebookcentral.proquest.com/lib/ebooksnrw/detail.action?docID=1888649
-
Status
-
Current
-
Publication Type
-
Monograph
-
Medium
-
Book
-
Language
-
-
First Author
-
Loveland, D. W.
-
First Editor
-
Empty
-
Publisher Name
-
Elsevier Science & Technology
-
Date First in Print
-
1978-02-01
-
Date First Online
-
1978-02-01
-
Access Start Date
-
Empty
-
Access End Date
-
Empty
-
Volume Number
-
Empty
-
Edition Statement
-
1
-
Access Type
-
Paid
-
Note
-
Empty
-
Last Changed External
-
2023-08-18
- Date Created
-
2023-04-28 16:56:49
- Last Updated
-
2023-11-16 16:27:19
- UUID
-
29707b7b-ee52-4b47-8bd3-753bfb6eb14d
| Identifier Namespace Name |
Identifier Namespace Value |
Identifier |
|
eISBN
|
eisbn
|
9781483296777
|
|
ISBN
|
isbn
|
9780720404999
|
|
Title_ID
|
title_id
|
1888649
|
-
Subject Area
-
Computer Science/IT
| Dewey Decimal Classification |
-
Series
-
Fundamental Studies in Computer Science Series
-
Parent publication title ID
-
Empty
-
Superseding publication title ID
-
Empty
-
Preceding publication title ID
-
Empty
| Price Type |
Value |
Currency |
| list |
82.05 |
EUR |
| list |
87.54 |
USD |