| _version_ |
1826300877370032128
|
| author2 |
Gordon, M
|
| author_facet |
Gordon, M
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T05:23:49Z
|
| format |
Book
|
| id |
oxford-uuid:dfdd0254-5cfe-4555-83cc-3dc3f8a40abe
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T05:23:49Z
|
| publishDate |
1993
|
| publisher |
Cambridge University Press
|
| record_format |
dspace
|
| spelling |
oxford-uuid:dfdd0254-5cfe-4555-83cc-3dc3f8a40abe2022-03-27T09:42:22ZIntroduction to HOL: A theorem proving environment for higher order logicBookhttp://purl.org/coar/resource_type/c_2f33uuid:dfdd0254-5cfe-4555-83cc-3dc3f8a40abeDepartment of Computer ScienceCambridge University Press1993Gordon, MMelham, T
|
| spellingShingle |
Introduction to HOL: A theorem proving environment for higher order logic
|
| title |
Introduction to HOL: A theorem proving environment for higher order logic
|
| title_full |
Introduction to HOL: A theorem proving environment for higher order logic
|
| title_fullStr |
Introduction to HOL: A theorem proving environment for higher order logic
|
| title_full_unstemmed |
Introduction to HOL: A theorem proving environment for higher order logic
|
| title_short |
Introduction to HOL: A theorem proving environment for higher order logic
|
| title_sort |
introduction to hol a theorem proving environment for higher order logic
|