Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104002511> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2104002511 endingPage "440" @default.
- W2104002511 startingPage "431" @default.
- W2104002511 abstract "The aim of this article is to present, in outline, a representative selection of the ways in which formal logic has been of service to computer science. Logic offers so many possibilities of application, and there are so many diverse groups of researchers developing logic-based applications, that it will be impossible in the space available to do justice to the whole field. Indeed it will be impossible even to mention everything that is going on, let alone say anything about it. Therefore I confine myself to a few areas which I believe, taken together, give a fair impression of the promise that formal logic holds as a tool for computer scientists. I assume in this article that the reader has a working knowledge of the classical propositional and predicate calculi: a lightning sketch of these systems can be found in my article ‘Classical Logic: a Crash Course for Beginners’ which appears earlier in this issue; for more details, the reader is urged to consult a textbook such as my Logic for Information Technology (Wiley, 1990)." @default.
- W2104002511 created "2016-06-24" @default.
- W2104002511 creator A5060494518 @default.
- W2104002511 date "1992-10-01" @default.
- W2104002511 modified "2023-09-26" @default.
- W2104002511 title "Logic as a Formal Method" @default.
- W2104002511 cites W1487403858 @default.
- W2104002511 cites W1488560674 @default.
- W2104002511 cites W1502939989 @default.
- W2104002511 cites W1505432843 @default.
- W2104002511 cites W1545230025 @default.
- W2104002511 cites W1578742033 @default.
- W2104002511 cites W1584571167 @default.
- W2104002511 cites W1596067335 @default.
- W2104002511 cites W166424146 @default.
- W2104002511 cites W1970495662 @default.
- W2104002511 cites W2012436850 @default.
- W2104002511 cites W2084910510 @default.
- W2104002511 cites W2103953153 @default.
- W2104002511 cites W2124798629 @default.
- W2104002511 cites W2159753366 @default.
- W2104002511 cites W2163751633 @default.
- W2104002511 cites W3146075203 @default.
- W2104002511 doi "https://doi.org/10.1093/comjnl/35.5.431" @default.
- W2104002511 hasPublicationYear "1992" @default.
- W2104002511 type Work @default.
- W2104002511 sameAs 2104002511 @default.
- W2104002511 citedByCount "10" @default.
- W2104002511 countsByYear W21040025112012 @default.
- W2104002511 countsByYear W21040025112014 @default.
- W2104002511 countsByYear W21040025112021 @default.
- W2104002511 countsByYear W21040025112022 @default.
- W2104002511 crossrefType "journal-article" @default.
- W2104002511 hasAuthorship W2104002511A5060494518 @default.
- W2104002511 hasConcept C101874905 @default.
- W2104002511 hasConcept C102993220 @default.
- W2104002511 hasConcept C11413529 @default.
- W2104002511 hasConcept C119599485 @default.
- W2104002511 hasConcept C127413603 @default.
- W2104002511 hasConcept C165801399 @default.
- W2104002511 hasConcept C172385210 @default.
- W2104002511 hasConcept C19689857 @default.
- W2104002511 hasConcept C199360897 @default.
- W2104002511 hasConcept C203659156 @default.
- W2104002511 hasConcept C2777796570 @default.
- W2104002511 hasConcept C2779231336 @default.
- W2104002511 hasConcept C3845977 @default.
- W2104002511 hasConcept C41008148 @default.
- W2104002511 hasConceptScore W2104002511C101874905 @default.
- W2104002511 hasConceptScore W2104002511C102993220 @default.
- W2104002511 hasConceptScore W2104002511C11413529 @default.
- W2104002511 hasConceptScore W2104002511C119599485 @default.
- W2104002511 hasConceptScore W2104002511C127413603 @default.
- W2104002511 hasConceptScore W2104002511C165801399 @default.
- W2104002511 hasConceptScore W2104002511C172385210 @default.
- W2104002511 hasConceptScore W2104002511C19689857 @default.
- W2104002511 hasConceptScore W2104002511C199360897 @default.
- W2104002511 hasConceptScore W2104002511C203659156 @default.
- W2104002511 hasConceptScore W2104002511C2777796570 @default.
- W2104002511 hasConceptScore W2104002511C2779231336 @default.
- W2104002511 hasConceptScore W2104002511C3845977 @default.
- W2104002511 hasConceptScore W2104002511C41008148 @default.
- W2104002511 hasIssue "5" @default.
- W2104002511 hasLocation W21040025111 @default.
- W2104002511 hasOpenAccess W2104002511 @default.
- W2104002511 hasPrimaryLocation W21040025111 @default.
- W2104002511 hasRelatedWork W1540220550 @default.
- W2104002511 hasRelatedWork W2268189978 @default.
- W2104002511 hasRelatedWork W2275267460 @default.
- W2104002511 hasRelatedWork W2383225166 @default.
- W2104002511 hasRelatedWork W2766388540 @default.
- W2104002511 hasRelatedWork W3147544541 @default.
- W2104002511 hasRelatedWork W4252380885 @default.
- W2104002511 hasRelatedWork W4319989613 @default.
- W2104002511 hasRelatedWork W582265660 @default.
- W2104002511 hasRelatedWork W648526243 @default.
- W2104002511 hasVolume "35" @default.
- W2104002511 isParatext "false" @default.
- W2104002511 isRetracted "false" @default.
- W2104002511 magId "2104002511" @default.
- W2104002511 workType "article" @default.