Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/359104.359106> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 359104.359106 doi "10.1145/359104.359106".
- 359104.359106 first1 "R. A.".
- 359104.359106 first2 "R. J.".
- 359104.359106 first3 "A. J.".
- 359104.359106 isCitedBy Compiler_correctness.
- 359104.359106 issue "5".
- 359104.359106 journal "Communications of the ACM".
- 359104.359106 last1 "De Millo".
- 359104.359106 last2 "Lipton".
- 359104.359106 last3 "Perlis".
- 359104.359106 pages "271–280".
- 359104.359106 title "Social processes and proofs of theorems and programs".
- 359104.359106 volume "22".
- 359104.359106 year "1979".