| _version_ |
1848790378084302848
|
| author |
Hutton, Graham
|
| author_facet |
Hutton, Graham
|
| author_sort |
Hutton, Graham
|
| building |
Nottingham Research Data Repository
|
| collection |
Online Access
|
| first_indexed |
2025-11-14T18:11:39Z
|
| format |
Article
|
| id |
nottingham-244
|
| institution |
University of Nottingham Malaysia Campus
|
| institution_category |
Local University
|
| last_indexed |
2025-11-14T18:11:39Z
|
| publishDate |
1994
|
| publisher |
Cambridge University Press
|
| recordtype |
eprints
|
| repository_type |
Digital Repository
|
| spelling |
nottingham-2442020-05-04T20:33:38Z https://eprints.nottingham.ac.uk/244/ Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic Hutton, Graham Cambridge University Press 1994-10 Article NonPeerReviewed Hutton, Graham (1994) Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic. Journal of Functional Programming, 4 (4). pp. 557-559.
|
| spellingShingle |
Hutton, Graham
Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
|
| title |
Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
|
| title_full |
Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
|
| title_fullStr |
Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
|
| title_full_unstemmed |
Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
|
| title_short |
Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
|
| title_sort |
review of mike gordon and tom melham (editors), an introduction to hol, a theorem proving environment for higher order logic
|
| url |
https://eprints.nottingham.ac.uk/244/
|