Matches in SemOpenAlex for { <https://semopenalex.org/work/W312615451> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W312615451 abstract "Abstract : Research on this effort was concentrated on the following topics: Special relations in automated deduction, binary-search algorithms, a theory of plans, deductive synthesis of dataflow networks, and temporal theorem proving. Two students received Ph.D.'s while conducting research supported by this effort. Titles of several relevant papers produced during this grant include Towards deductive synthesis of data-flow networks, Non-clausal logic programming, One origin of the binary-search paradigm, and How to clear a block: a theory of plans." @default.
- W312615451 created "2016-06-24" @default.
- W312615451 creator A5034436241 @default.
- W312615451 date "1986-09-30" @default.
- W312615451 modified "2023-09-27" @default.
- W312615451 title "The Automatic Synthesis of Computer Programming." @default.
- W312615451 doi "https://doi.org/10.21236/ada182679" @default.
- W312615451 hasPublicationYear "1986" @default.
- W312615451 type Work @default.
- W312615451 sameAs 312615451 @default.
- W312615451 citedByCount "0" @default.
- W312615451 crossrefType "report" @default.
- W312615451 hasAuthorship W312615451A5034436241 @default.
- W312615451 hasConcept C128838566 @default.
- W312615451 hasConcept C199360897 @default.
- W312615451 hasConcept C2524010 @default.
- W312615451 hasConcept C2777210771 @default.
- W312615451 hasConcept C33923547 @default.
- W312615451 hasConcept C41008148 @default.
- W312615451 hasConcept C48372109 @default.
- W312615451 hasConcept C80444323 @default.
- W312615451 hasConcept C94375191 @default.
- W312615451 hasConcept C96324660 @default.
- W312615451 hasConceptScore W312615451C128838566 @default.
- W312615451 hasConceptScore W312615451C199360897 @default.
- W312615451 hasConceptScore W312615451C2524010 @default.
- W312615451 hasConceptScore W312615451C2777210771 @default.
- W312615451 hasConceptScore W312615451C33923547 @default.
- W312615451 hasConceptScore W312615451C41008148 @default.
- W312615451 hasConceptScore W312615451C48372109 @default.
- W312615451 hasConceptScore W312615451C80444323 @default.
- W312615451 hasConceptScore W312615451C94375191 @default.
- W312615451 hasConceptScore W312615451C96324660 @default.
- W312615451 hasLocation W3126154511 @default.
- W312615451 hasOpenAccess W312615451 @default.
- W312615451 hasPrimaryLocation W3126154511 @default.
- W312615451 hasRelatedWork W1528885610 @default.
- W312615451 hasRelatedWork W1533138303 @default.
- W312615451 hasRelatedWork W1546041374 @default.
- W312615451 hasRelatedWork W1551823451 @default.
- W312615451 hasRelatedWork W1557689795 @default.
- W312615451 hasRelatedWork W1575553369 @default.
- W312615451 hasRelatedWork W1605873486 @default.
- W312615451 hasRelatedWork W1755183639 @default.
- W312615451 hasRelatedWork W1896339753 @default.
- W312615451 hasRelatedWork W1964949668 @default.
- W312615451 hasRelatedWork W1994184566 @default.
- W312615451 hasRelatedWork W2071531331 @default.
- W312615451 hasRelatedWork W2083353540 @default.
- W312615451 hasRelatedWork W2087328449 @default.
- W312615451 hasRelatedWork W2094018979 @default.
- W312615451 hasRelatedWork W2112857348 @default.
- W312615451 hasRelatedWork W2182078435 @default.
- W312615451 hasRelatedWork W2409610629 @default.
- W312615451 hasRelatedWork W2140225581 @default.
- W312615451 hasRelatedWork W347482990 @default.
- W312615451 isParatext "false" @default.
- W312615451 isRetracted "false" @default.
- W312615451 magId "312615451" @default.
- W312615451 workType "report" @default.