Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0004-3702(93)90079-q> ?p ?o }
Showing triples 1 to 18 of
18
with 100 triples per page.
- 0004-3702(93)90079-q doi "10.1016/0004-370290079-Q".
- 0004-3702(93)90079-q first1 "A.".
- 0004-3702(93)90079-q first2 "A.".
- 0004-3702(93)90079-q first3 "F.".
- 0004-3702(93)90079-q first4 "A.".
- 0004-3702(93)90079-q first5 "A.".
- 0004-3702(93)90079-q isCitedBy Alan_Bundy.
- 0004-3702(93)90079-q issue "2".
- 0004-3702(93)90079-q journal "Artificial Intelligence".
- 0004-3702(93)90079-q last1 "Bundy".
- 0004-3702(93)90079-q last2 "Stevens".
- 0004-3702(93)90079-q last3 "Van Harmelen".
- 0004-3702(93)90079-q last4 "Ireland".
- 0004-3702(93)90079-q last5 "Smaill".
- 0004-3702(93)90079-q pages "185".
- 0004-3702(93)90079-q title "Rippling: A heuristic for guiding inductive proofs".
- 0004-3702(93)90079-q volume "62".
- 0004-3702(93)90079-q year "1993".