Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/357084.357090> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- 357084.357090 author Richard_Waldinger.
- 357084.357090 author Zohar_Manna.
- 357084.357090 author "Zohar Manna, Richard Waldinger".
- 357084.357090 date "Jan 1980".
- 357084.357090 doi "10.1145/357084.357090".
- 357084.357090 isCitedBy Program_synthesis.
- 357084.357090 isCitedBy Resolution_(logic).
- 357084.357090 journal ACM_Transactions_on_Programming_Languages_and_Systems.
- 357084.357090 journal "ACM Transactions on Programming Languages and Systems".
- 357084.357090 pages "90–121".
- 357084.357090 title "A Deductive Approach to Program Synthesis".
- 357084.357090 volume "2".