Matches in SemOpenAlex for { <https://semopenalex.org/concept/C2776937632> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- C2776937632 created "2018-01-05" @default.
- C2776937632 modified "2023-10-18" @default.
- C2776937632 type Concept @default.
- C2776937632 seeAlso "https://en.wikipedia.org/wiki/Program%20synthesis" @default.
- C2776937632 sameAs Q4117718 @default.
- C2776937632 sameAs 2776937632 @default.
- C2776937632 broader C11413529 @default.
- C2776937632 broader C199360897 @default.
- C2776937632 broader C33923547 @default.
- C2776937632 broader C41008148 @default.
- C2776937632 broader C80444323 @default.
- C2776937632 inScheme concepts @default.
- C2776937632 note "task to construct a program that provably satisfies a given high-level formal specification" @default.
- C2776937632 prefLabel "Program synthesis" @default.
- C2776937632 related C100481476 @default.
- C2776937632 related C111498074 @default.
- C2776937632 related C11413529 @default.
- C2776937632 related C135790938 @default.
- C2776937632 related C138268822 @default.
- C2776937632 related C154945302 @default.
- C2776937632 related C156325763 @default.
- C2776937632 related C16221470 @default.
- C2776937632 related C198008173 @default.
- C2776937632 related C206880738 @default.
- C2776937632 related C2777394884 @default.
- C2776937632 related C33857546 @default.
- C2776937632 related C42383842 @default.
- C2776937632 related C50033165 @default.
- C2776937632 related C81721847 @default.
- C2776937632 related C93682546 @default.
- C2776937632 related C96146094 @default.
- C2776937632 citedByCount "15693" @default.
- C2776937632 countsByYear C27769376322012 @default.
- C2776937632 countsByYear C27769376322013 @default.
- C2776937632 countsByYear C27769376322014 @default.
- C2776937632 countsByYear C27769376322015 @default.
- C2776937632 countsByYear C27769376322016 @default.
- C2776937632 countsByYear C27769376322017 @default.
- C2776937632 countsByYear C27769376322018 @default.
- C2776937632 countsByYear C27769376322019 @default.
- C2776937632 countsByYear C27769376322020 @default.
- C2776937632 countsByYear C27769376322021 @default.
- C2776937632 countsByYear C27769376322022 @default.
- C2776937632 countsByYear C27769376322023 @default.
- C2776937632 level "2" @default.
- C2776937632 magId "2776937632" @default.
- C2776937632 worksCount "1089" @default.