Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0743-1066(86)90015-4> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 0743-1066(86)90015-4 doi "10.1016/0743-106690015-4".
- 0743-1066(86)90015-4 first1 "L. C.".
- 0743-1066(86)90015-4 isCitedBy Lawrence_Paulson.
- 0743-1066(86)90015-4 issue "3".
- 0743-1066(86)90015-4 journal "The Journal of Logic Programming".
- 0743-1066(86)90015-4 last1 "Paulson".
- 0743-1066(86)90015-4 pages "237".
- 0743-1066(86)90015-4 title "Natural deduction as higher-order resolution".
- 0743-1066(86)90015-4 volume "3".
- 0743-1066(86)90015-4 year "1986".