A Couple of Novelties in the Propositional Calculus
| Main Author: | |
|---|---|
| Format: | Journal article |
| Published: |
1985
|
| _version_ | 1826276865112801280 |
|---|---|
| author | Hoare, C |
| author_facet | Hoare, C |
| author_sort | Hoare, C |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T23:20:15Z |
| format | Journal article |
| id | oxford-uuid:687ef6ba-00db-4135-b26e-1f62404ee210 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T23:20:15Z |
| publishDate | 1985 |
| record_format | dspace |
| spelling | oxford-uuid:687ef6ba-00db-4135-b26e-1f62404ee2102022-03-26T18:45:09ZA Couple of Novelties in the Propositional CalculusJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:687ef6ba-00db-4135-b26e-1f62404ee210Department of Computer Science1985Hoare, C |
| spellingShingle | Hoare, C A Couple of Novelties in the Propositional Calculus |
| title | A Couple of Novelties in the Propositional Calculus |
| title_full | A Couple of Novelties in the Propositional Calculus |
| title_fullStr | A Couple of Novelties in the Propositional Calculus |
| title_full_unstemmed | A Couple of Novelties in the Propositional Calculus |
| title_short | A Couple of Novelties in the Propositional Calculus |
| title_sort | couple of novelties in the propositional calculus |
| work_keys_str_mv | AT hoarec acoupleofnoveltiesinthepropositionalcalculus AT hoarec coupleofnoveltiesinthepropositionalcalculus |