Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0004-3702(85)90074-8> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 0004-3702(85)90074-8 author "Hsiang, Jieh".
- 0004-3702(85)90074-8 doi "10.1016/0004-370290074-8".
- 0004-3702(85)90074-8 isCitedBy Boolean_algebra_(structure).
- 0004-3702(85)90074-8 journal "AI".
- 0004-3702(85)90074-8 pages "255–300".
- 0004-3702(85)90074-8 title "Refutational Theorem Proving Using Term Rewriting Systems".
- 0004-3702(85)90074-8 url 60b7d5193580e500f1.pdf.
- 0004-3702(85)90074-8 volume "25".
- 0004-3702(85)90074-8 year "1985".