The HOL pred_sets Library
| Auteur principal: | |
|---|---|
| Format: | Record |
| Publié: |
Computer Laboratory‚ University of Cambridge
1992
|
| _version_ | 1826273446982582272 |
|---|---|
| author | Melham, T |
| author_facet | Melham, T |
| author_sort | Melham, T |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T22:28:19Z |
| format | Record |
| id | oxford-uuid:576b7ee8-9b9b-4b65-a331-4e1440dc3c14 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:28:19Z |
| publishDate | 1992 |
| publisher | Computer Laboratory‚ University of Cambridge |
| record_format | dspace |
| spelling | oxford-uuid:576b7ee8-9b9b-4b65-a331-4e1440dc3c142022-03-26T16:56:35ZThe HOL pred_sets LibraryRecordhttp://purl.org/coar/resource_type/c_1843uuid:576b7ee8-9b9b-4b65-a331-4e1440dc3c14Department of Computer ScienceComputer Laboratory‚ University of Cambridge1992Melham, T |
| spellingShingle | Melham, T The HOL pred_sets Library |
| title | The HOL pred_sets Library |
| title_full | The HOL pred_sets Library |
| title_fullStr | The HOL pred_sets Library |
| title_full_unstemmed | The HOL pred_sets Library |
| title_short | The HOL pred_sets Library |
| title_sort | hol pred sets library |
| work_keys_str_mv | AT melhamt theholpredsetslibrary AT melhamt holpredsetslibrary |