Satisfiability
| Главный автор: | |
|---|---|
| Формат: | Record |
| Опубликовано: |
2015
|
| _version_ | 1826300764198273024 |
|---|---|
| author | Hoare, C |
| author_facet | Hoare, C |
| author_sort | Hoare, C |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T05:22:08Z |
| format | Record |
| id | oxford-uuid:df48e8a1-50d1-44d4-b5f2-2cead2b6675a |
| institution | University of Oxford |
| last_indexed | 2024-03-07T05:22:08Z |
| publishDate | 2015 |
| record_format | dspace |
| spelling | oxford-uuid:df48e8a1-50d1-44d4-b5f2-2cead2b6675a2022-03-27T09:38:23ZSatisfiabilityRecordhttp://purl.org/coar/resource_type/c_1843uuid:df48e8a1-50d1-44d4-b5f2-2cead2b6675aDepartment of Computer Science2015Hoare, C |
| spellingShingle | Hoare, C Satisfiability |
| title | Satisfiability |
| title_full | Satisfiability |
| title_fullStr | Satisfiability |
| title_full_unstemmed | Satisfiability |
| title_short | Satisfiability |
| title_sort | satisfiability |
| work_keys_str_mv | AT hoarec satisfiability |