Matches in DBpedia 2016-04 for { <http://doi.org/10.1109/32.153379> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- 32.153379 doi "10.1109/32.153379".
- 32.153379 first1 "Z.".
- 32.153379 first2 "R.".
- 32.153379 isCitedBy Inductive_programming.
- 32.153379 issue "8".
- 32.153379 journal "IEEE Trans Softw Eng".
- 32.153379 last1 "Manna".
- 32.153379 last2 "Waldinger".
- 32.153379 pages "674–704".
- 32.153379 title "Fundamentals of deductive program synthesis".
- 32.153379 volume "18".
- 32.153379 year "1992".