Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0304-3975(85)90144-6> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 0304-3975(85)90144-6 doi "10.1016/0304-397590144-6".
- 0304-3975(85)90144-6 first "Armin".
- 0304-3975(85)90144-6 isCitedBy Wolfgang_Haken.
- 0304-3975(85)90144-6 journal "Theoretical Computer Science".
- 0304-3975(85)90144-6 last "Haken".
- 0304-3975(85)90144-6 pages "297–308".
- 0304-3975(85)90144-6 title "The intractability of resolution".
- 0304-3975(85)90144-6 volume "39".
- 0304-3975(85)90144-6 year "1985".