Matches in SemOpenAlex for { <https://semopenalex.org/work/W3037835810> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W3037835810 abstract "This is a reflection on the author's experience in teaching logic at the graduate level in a computer science department. The main lesson is that model building and the process of modelling must be placed at the centre stage of logic teaching. Furthermore, effective use must be supported with adequate tools. Finally, logic is the methodology underlying many applications, it is hence paramount to pass on its principles, methods and concepts to computer science audiences." @default.
- W3037835810 created "2020-07-02" @default.
- W3037835810 creator A5045225534 @default.
- W3037835810 date "2015-07-14" @default.
- W3037835810 modified "2023-09-27" @default.
- W3037835810 title "Logic Modelling" @default.
- W3037835810 cites W1489391022 @default.
- W3037835810 cites W1787074469 @default.
- W3037835810 cites W2061438988 @default.
- W3037835810 cites W2340735175 @default.
- W3037835810 hasPublicationYear "2015" @default.
- W3037835810 type Work @default.
- W3037835810 sameAs 3037835810 @default.
- W3037835810 citedByCount "0" @default.
- W3037835810 crossrefType "posted-content" @default.
- W3037835810 hasAuthorship W3037835810A5045225534 @default.
- W3037835810 hasConcept C144024400 @default.
- W3037835810 hasConcept C199360897 @default.
- W3037835810 hasConcept C2775940519 @default.
- W3037835810 hasConcept C36289849 @default.
- W3037835810 hasConcept C41008148 @default.
- W3037835810 hasConcept C65682993 @default.
- W3037835810 hasConcept C98045186 @default.
- W3037835810 hasConceptScore W3037835810C144024400 @default.
- W3037835810 hasConceptScore W3037835810C199360897 @default.
- W3037835810 hasConceptScore W3037835810C2775940519 @default.
- W3037835810 hasConceptScore W3037835810C36289849 @default.
- W3037835810 hasConceptScore W3037835810C41008148 @default.
- W3037835810 hasConceptScore W3037835810C65682993 @default.
- W3037835810 hasConceptScore W3037835810C98045186 @default.
- W3037835810 hasLocation W30378358101 @default.
- W3037835810 hasOpenAccess W3037835810 @default.
- W3037835810 hasPrimaryLocation W30378358101 @default.
- W3037835810 hasRelatedWork W1519357286 @default.
- W3037835810 hasRelatedWork W164144787 @default.
- W3037835810 hasRelatedWork W1968231523 @default.
- W3037835810 hasRelatedWork W1974112012 @default.
- W3037835810 hasRelatedWork W2103094336 @default.
- W3037835810 hasRelatedWork W2282417811 @default.
- W3037835810 hasRelatedWork W2312239601 @default.
- W3037835810 hasRelatedWork W2354546075 @default.
- W3037835810 hasRelatedWork W2387872011 @default.
- W3037835810 hasRelatedWork W2765991329 @default.
- W3037835810 hasRelatedWork W2885658637 @default.
- W3037835810 hasRelatedWork W2892300057 @default.
- W3037835810 hasRelatedWork W2971053954 @default.
- W3037835810 hasRelatedWork W2990243159 @default.
- W3037835810 hasRelatedWork W3091951632 @default.
- W3037835810 hasRelatedWork W3141053480 @default.
- W3037835810 hasRelatedWork W3176804634 @default.
- W3037835810 hasRelatedWork W3179394113 @default.
- W3037835810 hasRelatedWork W43223230 @default.
- W3037835810 hasRelatedWork W70134945 @default.
- W3037835810 isParatext "false" @default.
- W3037835810 isRetracted "false" @default.
- W3037835810 magId "3037835810" @default.
- W3037835810 workType "article" @default.