Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0004-3702(82)90011-x> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- 0004-3702(82)90011-x author "N. V. Murray".
- 0004-3702(82)90011-x doi "10.1016/0004-370290011-x".
- 0004-3702(82)90011-x isCitedBy Resolution_(logic).
- 0004-3702(82)90011-x journal Artificial_Intelligence_(journal).
- 0004-3702(82)90011-x pages "67–85".
- 0004-3702(82)90011-x title "Completely Non-Clausal Theorem Proving".
- 0004-3702(82)90011-x volume "18".
- 0004-3702(82)90011-x year "1982".