Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0004-3702(77)90012-1> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- 0004-3702(77)90012-1 author "W.W. Bledsoe".
- 0004-3702(77)90012-1 doi "10.1016/0004-370290012-1".
- 0004-3702(77)90012-1 isCitedBy Woody_Bledsoe.
- 0004-3702(77)90012-1 journal Artificial_Intelligence_(journal).
- 0004-3702(77)90012-1 pages "1–35".
- 0004-3702(77)90012-1 title "Non-Resolution Theorem Proving".
- 0004-3702(77)90012-1 volume "9".
- 0004-3702(77)90012-1 year "1977".