| _version_ |
1826265768458715136
|
| author |
Martin, A
|
| author_facet |
Martin, A
|
| author_sort |
Martin, A
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T20:28:49Z
|
| format |
Journal article
|
| id |
oxford-uuid:305a2373-aed4-4ddc-abcf-6fd55c4dff91
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T20:28:49Z
|
| publishDate |
2000
|
| record_format |
dspace
|
| spelling |
oxford-uuid:305a2373-aed4-4ddc-abcf-6fd55c4dff912022-03-26T13:00:51ZRelating Z and First−order logicJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:305a2373-aed4-4ddc-abcf-6fd55c4dff91Department of Computer Science2000Martin, A
|
| spellingShingle |
Martin, A
Relating Z and First−order logic
|
| title |
Relating Z and First−order logic
|
| title_full |
Relating Z and First−order logic
|
| title_fullStr |
Relating Z and First−order logic
|
| title_full_unstemmed |
Relating Z and First−order logic
|
| title_short |
Relating Z and First−order logic
|
| title_sort |
relating z and first order logic
|
| work_keys_str_mv |
AT martina relatingzandfirstorderlogic
|