Matches in SemOpenAlex for { <https://semopenalex.org/work/W3035746598> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W3035746598 endingPage "290" @default.
- W3035746598 startingPage "283" @default.
- W3035746598 abstract "An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content." @default.
- W3035746598 created "2020-06-19" @default.
- W3035746598 creator A5002762546 @default.
- W3035746598 creator A5083244790 @default.
- W3035746598 date "2020-06-10" @default.
- W3035746598 modified "2023-09-27" @default.
- W3035746598 title "Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8" @default.
- W3035746598 cites W1553511155 @default.
- W3035746598 cites W2005864385 @default.
- W3035746598 cites W2023353691 @default.
- W3035746598 cites W2093149618 @default.
- W3035746598 cites W2402296188 @default.
- W3035746598 cites W2911865844 @default.
- W3035746598 cites W2965980593 @default.
- W3035746598 doi "https://doi.org/10.1017/s1471068420000071" @default.
- W3035746598 hasPublicationYear "2020" @default.
- W3035746598 type Work @default.
- W3035746598 sameAs 3035746598 @default.
- W3035746598 citedByCount "3" @default.
- W3035746598 countsByYear W30357465982021 @default.
- W3035746598 countsByYear W30357465982022 @default.
- W3035746598 countsByYear W30357465982023 @default.
- W3035746598 crossrefType "journal-article" @default.
- W3035746598 hasAuthorship W3035746598A5002762546 @default.
- W3035746598 hasAuthorship W3035746598A5083244790 @default.
- W3035746598 hasConcept C33923547 @default.
- W3035746598 hasConcept C41008148 @default.
- W3035746598 hasConcept C42475967 @default.
- W3035746598 hasConceptScore W3035746598C33923547 @default.
- W3035746598 hasConceptScore W3035746598C41008148 @default.
- W3035746598 hasConceptScore W3035746598C42475967 @default.
- W3035746598 hasIssue "2" @default.
- W3035746598 hasLocation W30357465981 @default.
- W3035746598 hasOpenAccess W3035746598 @default.
- W3035746598 hasPrimaryLocation W30357465981 @default.
- W3035746598 hasRelatedWork W1596801655 @default.
- W3035746598 hasRelatedWork W2130043461 @default.
- W3035746598 hasRelatedWork W2350741829 @default.
- W3035746598 hasRelatedWork W2358668433 @default.
- W3035746598 hasRelatedWork W2376932109 @default.
- W3035746598 hasRelatedWork W2382290278 @default.
- W3035746598 hasRelatedWork W2390279801 @default.
- W3035746598 hasRelatedWork W2748952813 @default.
- W3035746598 hasRelatedWork W2899084033 @default.
- W3035746598 hasRelatedWork W2530322880 @default.
- W3035746598 hasVolume "21" @default.
- W3035746598 isParatext "false" @default.
- W3035746598 isRetracted "false" @default.
- W3035746598 magId "3035746598" @default.
- W3035746598 workType "article" @default.