Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000986968> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2000986968 abstract "There are a large number of difficult intellectual tasks which consist of synthesizing a partial ordering. To program a computer we must synthesize a sequence of computer instructions; one way of constructing a logical derivation is by synthesizing a sequence of inference-rule applications which transform given premises into desired conclusion; one way of choosing among alternative moves in a game is by synthesizing and evaluating trees of possibly ensuing moves. Can we program a computer to perform such tasks? Can we program a computer to perform such tasks expertly, i.e., well enough that it can by itself surpass a skilled human being in the performance of such tasks?" @default.
- W2000986968 created "2016-06-24" @default.
- W2000986968 creator A5005985922 @default.
- W2000986968 date "1964-01-01" @default.
- W2000986968 modified "2023-10-05" @default.
- W2000986968 title "Experiments with a theorem-utilizing program" @default.
- W2000986968 cites W145832685 @default.
- W2000986968 cites W1514436817 @default.
- W2000986968 cites W1770975 @default.
- W2000986968 cites W1977384182 @default.
- W2000986968 cites W1991656654 @default.
- W2000986968 cites W1997093626 @default.
- W2000986968 cites W2000558676 @default.
- W2000986968 cites W2022788902 @default.
- W2000986968 cites W2026751516 @default.
- W2000986968 cites W2038706071 @default.
- W2000986968 cites W2040183410 @default.
- W2000986968 cites W2045031658 @default.
- W2000986968 cites W2052628540 @default.
- W2000986968 cites W2062897452 @default.
- W2000986968 cites W2069224897 @default.
- W2000986968 cites W2085089824 @default.
- W2000986968 cites W2112161977 @default.
- W2000986968 cites W2112206808 @default.
- W2000986968 cites W2138178898 @default.
- W2000986968 cites W2171071458 @default.
- W2000986968 cites W3198350258 @default.
- W2000986968 doi "https://doi.org/10.1145/1464122.1464157" @default.
- W2000986968 hasPublicationYear "1964" @default.
- W2000986968 type Work @default.
- W2000986968 sameAs 2000986968 @default.
- W2000986968 citedByCount "4" @default.
- W2000986968 crossrefType "proceedings-article" @default.
- W2000986968 hasAuthorship W2000986968A5005985922 @default.
- W2000986968 hasConcept C144237770 @default.
- W2000986968 hasConcept C154945302 @default.
- W2000986968 hasConcept C177142836 @default.
- W2000986968 hasConcept C195701839 @default.
- W2000986968 hasConcept C199360897 @default.
- W2000986968 hasConcept C2776214188 @default.
- W2000986968 hasConcept C2777362769 @default.
- W2000986968 hasConcept C2778112365 @default.
- W2000986968 hasConcept C3020701032 @default.
- W2000986968 hasConcept C33923547 @default.
- W2000986968 hasConcept C41008148 @default.
- W2000986968 hasConcept C49774154 @default.
- W2000986968 hasConcept C54355233 @default.
- W2000986968 hasConcept C73795354 @default.
- W2000986968 hasConcept C80444323 @default.
- W2000986968 hasConcept C86803240 @default.
- W2000986968 hasConcept C95815963 @default.
- W2000986968 hasConceptScore W2000986968C144237770 @default.
- W2000986968 hasConceptScore W2000986968C154945302 @default.
- W2000986968 hasConceptScore W2000986968C177142836 @default.
- W2000986968 hasConceptScore W2000986968C195701839 @default.
- W2000986968 hasConceptScore W2000986968C199360897 @default.
- W2000986968 hasConceptScore W2000986968C2776214188 @default.
- W2000986968 hasConceptScore W2000986968C2777362769 @default.
- W2000986968 hasConceptScore W2000986968C2778112365 @default.
- W2000986968 hasConceptScore W2000986968C3020701032 @default.
- W2000986968 hasConceptScore W2000986968C33923547 @default.
- W2000986968 hasConceptScore W2000986968C41008148 @default.
- W2000986968 hasConceptScore W2000986968C49774154 @default.
- W2000986968 hasConceptScore W2000986968C54355233 @default.
- W2000986968 hasConceptScore W2000986968C73795354 @default.
- W2000986968 hasConceptScore W2000986968C80444323 @default.
- W2000986968 hasConceptScore W2000986968C86803240 @default.
- W2000986968 hasConceptScore W2000986968C95815963 @default.
- W2000986968 hasLocation W20009869681 @default.
- W2000986968 hasOpenAccess W2000986968 @default.
- W2000986968 hasPrimaryLocation W20009869681 @default.
- W2000986968 hasRelatedWork W2000986968 @default.
- W2000986968 hasRelatedWork W2047793074 @default.
- W2000986968 hasRelatedWork W2104078272 @default.
- W2000986968 hasRelatedWork W2112962394 @default.
- W2000986968 hasRelatedWork W2118300983 @default.
- W2000986968 hasRelatedWork W2166247150 @default.
- W2000986968 hasRelatedWork W3137189469 @default.
- W2000986968 hasRelatedWork W3161282940 @default.
- W2000986968 hasRelatedWork W4235530921 @default.
- W2000986968 hasRelatedWork W4243252198 @default.
- W2000986968 isParatext "false" @default.
- W2000986968 isRetracted "false" @default.
- W2000986968 magId "2000986968" @default.
- W2000986968 workType "article" @default.