Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/321592.321606> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 321592.321606 author "Zohar Manna and Amir Pnueli".
- 321592.321606 date "July 1970".
- 321592.321606 doi "10.1145/321592.321606".
- 321592.321606 isCitedBy McCarthy_91_function.
- 321592.321606 issue "3".
- 321592.321606 journal "Journal of the ACM".
- 321592.321606 pages "555–569".
- 321592.321606 title "Formalization of Properties of Functional Programs".
- 321592.321606 volume "17".