Some Problems in the Analysis of Resolution
| Main Author: | |
|---|---|
| Published: |
University of Oxford
1974
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.453077 |
| id |
ndltd-bl.uk-oai-ethos.bl.uk-453077 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-bl.uk-oai-ethos.bl.uk-4530772017-12-24T15:57:34ZSome Problems in the Analysis of ResolutionDavies, A. R.1974519University of Oxfordhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.453077Electronic Thesis or Dissertation |
| collection |
NDLTD |
| sources |
NDLTD |
| topic |
519 |
| spellingShingle |
519 Davies, A. R. Some Problems in the Analysis of Resolution |
| author |
Davies, A. R. |
| author_facet |
Davies, A. R. |
| author_sort |
Davies, A. R. |
| title |
Some Problems in the Analysis of Resolution |
| title_short |
Some Problems in the Analysis of Resolution |
| title_full |
Some Problems in the Analysis of Resolution |
| title_fullStr |
Some Problems in the Analysis of Resolution |
| title_full_unstemmed |
Some Problems in the Analysis of Resolution |
| title_sort |
some problems in the analysis of resolution |
| publisher |
University of Oxford |
| publishDate |
1974 |
| url |
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.453077 |
| work_keys_str_mv |
AT daviesar someproblemsintheanalysisofresolution |
| _version_ |
1718571823646375936 |