Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300922541> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W4300922541 created "2022-10-04" @default.
- W4300922541 date "1999-01-01" @default.
- W4300922541 modified "2023-10-16" @default.
- W4300922541 title "Logic for Programming and Automated Reasoning" @default.
- W4300922541 doi "https://doi.org/10.1007/3-540-48242-3" @default.
- W4300922541 hasPublicationYear "1999" @default.
- W4300922541 type Work @default.
- W4300922541 citedByCount "0" @default.
- W4300922541 crossrefType "book" @default.
- W4300922541 hasBestOaLocation W43009225411 @default.
- W4300922541 hasConcept C115903868 @default.
- W4300922541 hasConcept C128838566 @default.
- W4300922541 hasConcept C154945302 @default.
- W4300922541 hasConcept C195344581 @default.
- W4300922541 hasConcept C199360897 @default.
- W4300922541 hasConcept C2987117450 @default.
- W4300922541 hasConcept C41008148 @default.
- W4300922541 hasConceptScore W4300922541C115903868 @default.
- W4300922541 hasConceptScore W4300922541C128838566 @default.
- W4300922541 hasConceptScore W4300922541C154945302 @default.
- W4300922541 hasConceptScore W4300922541C195344581 @default.
- W4300922541 hasConceptScore W4300922541C199360897 @default.
- W4300922541 hasConceptScore W4300922541C2987117450 @default.
- W4300922541 hasConceptScore W4300922541C41008148 @default.
- W4300922541 hasLocation W43009225411 @default.
- W4300922541 hasOpenAccess W4300922541 @default.
- W4300922541 hasPrimaryLocation W43009225411 @default.
- W4300922541 hasRelatedWork W134220871 @default.
- W4300922541 hasRelatedWork W1542459781 @default.
- W4300922541 hasRelatedWork W1576485315 @default.
- W4300922541 hasRelatedWork W1885402555 @default.
- W4300922541 hasRelatedWork W1966767581 @default.
- W4300922541 hasRelatedWork W2003151706 @default.
- W4300922541 hasRelatedWork W201827850 @default.
- W4300922541 hasRelatedWork W2061127899 @default.
- W4300922541 hasRelatedWork W2097388634 @default.
- W4300922541 hasRelatedWork W50928870 @default.
- W4300922541 isParatext "false" @default.
- W4300922541 isRetracted "false" @default.
- W4300922541 workType "book" @default.