Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137702965> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2137702965 abstract "* Introduction * Formalizing The Language * Extending the Language * Semantic Tableaux * Natural Deduction * Some Extended Examples * Logic Programming * Non-standard Logics * Further Study * Appendices" @default.
- W2137702965 created "2016-06-24" @default.
- W2137702965 creator A5011292969 @default.
- W2137702965 creator A5084137497 @default.
- W2137702965 date "1990-01-01" @default.
- W2137702965 modified "2023-09-27" @default.
- W2137702965 title "Logic for computer science" @default.
- W2137702965 cites W10154040 @default.
- W2137702965 cites W1486384786 @default.
- W2137702965 cites W1491813684 @default.
- W2137702965 cites W1529646094 @default.
- W2137702965 cites W1532122496 @default.
- W2137702965 cites W1536217426 @default.
- W2137702965 cites W1541434994 @default.
- W2137702965 cites W1574129634 @default.
- W2137702965 cites W1586338668 @default.
- W2137702965 cites W1592287058 @default.
- W2137702965 cites W1604072540 @default.
- W2137702965 cites W1848963184 @default.
- W2137702965 cites W1984820433 @default.
- W2137702965 cites W2023578426 @default.
- W2137702965 cites W2045255985 @default.
- W2137702965 cites W2064811181 @default.
- W2137702965 cites W2124798629 @default.
- W2137702965 cites W2126160338 @default.
- W2137702965 cites W2133154717 @default.
- W2137702965 cites W2134112335 @default.
- W2137702965 cites W2152944474 @default.
- W2137702965 cites W2411807078 @default.
- W2137702965 cites W2556546 @default.
- W2137702965 cites W50233445 @default.
- W2137702965 cites W605852184 @default.
- W2137702965 cites W3202227343 @default.
- W2137702965 hasPublicationYear "1990" @default.
- W2137702965 type Work @default.
- W2137702965 sameAs 2137702965 @default.
- W2137702965 citedByCount "21" @default.
- W2137702965 countsByYear W21377029652012 @default.
- W2137702965 countsByYear W21377029652014 @default.
- W2137702965 countsByYear W21377029652017 @default.
- W2137702965 countsByYear W21377029652018 @default.
- W2137702965 countsByYear W21377029652021 @default.
- W2137702965 crossrefType "book" @default.
- W2137702965 hasAuthorship W2137702965A5011292969 @default.
- W2137702965 hasAuthorship W2137702965A5084137497 @default.
- W2137702965 hasConcept C128838566 @default.
- W2137702965 hasConcept C199360897 @default.
- W2137702965 hasConcept C41008148 @default.
- W2137702965 hasConcept C80444323 @default.
- W2137702965 hasConceptScore W2137702965C128838566 @default.
- W2137702965 hasConceptScore W2137702965C199360897 @default.
- W2137702965 hasConceptScore W2137702965C41008148 @default.
- W2137702965 hasConceptScore W2137702965C80444323 @default.
- W2137702965 hasLocation W21377029651 @default.
- W2137702965 hasOpenAccess W2137702965 @default.
- W2137702965 hasPrimaryLocation W21377029651 @default.
- W2137702965 hasRelatedWork W1226241058 @default.
- W2137702965 hasRelatedWork W136860365 @default.
- W2137702965 hasRelatedWork W1488887276 @default.
- W2137702965 hasRelatedWork W1505955281 @default.
- W2137702965 hasRelatedWork W1529790367 @default.
- W2137702965 hasRelatedWork W1542428113 @default.
- W2137702965 hasRelatedWork W1557487632 @default.
- W2137702965 hasRelatedWork W1560300852 @default.
- W2137702965 hasRelatedWork W1561318372 @default.
- W2137702965 hasRelatedWork W1679534293 @default.
- W2137702965 hasRelatedWork W1848963184 @default.
- W2137702965 hasRelatedWork W1948618603 @default.
- W2137702965 hasRelatedWork W1950048736 @default.
- W2137702965 hasRelatedWork W2149825742 @default.
- W2137702965 hasRelatedWork W2737912305 @default.
- W2137702965 hasRelatedWork W3101754999 @default.
- W2137702965 hasRelatedWork W3206707647 @default.
- W2137702965 hasRelatedWork W574022443 @default.
- W2137702965 hasRelatedWork W600819829 @default.
- W2137702965 hasRelatedWork W646652464 @default.
- W2137702965 isParatext "false" @default.
- W2137702965 isRetracted "false" @default.
- W2137702965 magId "2137702965" @default.
- W2137702965 workType "book" @default.