-
Title
-
Symbolic Logic and Mechanical Theorem Proving
-
Package
-
eBook - Focus: Mathematical Sciences [EBFCMATHSC]
-
Platform
-
ScienceDirect
-
URL
-
https://www.sciencedirect.com/science/book/9780080917283
-
Status
-
Current
-
Publication Type
-
Monograph
-
Medium
-
Empty
-
Language
-
-
First Author
-
Chin-Liang Chang and Richard Char-Tung Lee
-
First Editor
-
Empty
-
Publisher Name
-
Academic Press
-
Date First in Print
-
1973-01-01
-
Date First Online
-
2014-06-27
-
Access Start Date
-
Empty
-
Access End Date
-
Empty
-
Volume Number
-
Empty
-
Edition Statement
-
Empty
-
Access Type
-
Paid
-
Note
-
Empty
-
Last Changed External
-
Empty
- Date Created
-
2021-11-23 00:37:53
- Last Updated
-
2024-09-09 20:52:24
- UUID
-
b357822f-8e3b-489d-8f19-c6373ef8e2d3
Identifier Namespace Name |
Identifier Namespace Value |
Identifier |
eISBN
|
eisbn
|
978-0-08-091728-3
|
Title_ID
|
title_id
|
9780080917283
|
Dewey Decimal Classification |
-
Series
-
Empty
-
Parent publication title ID
-
Empty
-
Superseding publication title ID
-
Empty
-
Preceding publication title ID
-
Empty
Price Type |
Value |
Currency |