Title: Programming with Higher-Order Logic
- Title
- Programming with Higher-Order Logic
- Platform
- Cambridge Core
- Status
- Current
- Publication Type
- Monograph
- Medium
- Empty
- Language
-
- First Author
- Miller
- First Editor
- Empty
- Publisher Name
- Cambridge University Press
- Date First in Print
- 2012-06-01
- Date First Online
- 2012-08-01
- Access Start Date
- Empty
- Access End Date
- Empty
- Volume Number
- Empty
- Edition Statement
- 1
- Access Type
- Paid
- Note
- Empty
- Last Changed External
- Empty
- Date Created
- 2023-11-13 11:01:50
- Last Updated
- 2024-09-10 20:02:45
- UUID
- 81202b89-664e-480f-be9a-98832aa3b722
| Identifier Namespace Name | Identifier Namespace Value | Identifier |
|---|---|---|
| eISBN | eisbn | 978-1-139021-32-6 |
| ISBN | isbn | 978-0-521879-40-8 |
| Title_ID | title_id | 90460BBDEF7ADE2B2B738DD05A39ECC5 |
- Subject Area
- Empty
| Dewey Decimal Classification |
|---|
- Series
- Empty
- Parent publication title ID
- Empty
- Superseding publication title ID
- Empty
- Preceding publication title ID
- Empty
- Open Access
- Empty
| Price Type | Value | Currency |
|---|