Searching for "Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval
by William McCune — 1990 — JOURNAL OF AUTOMATED REASONING
…Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval William Mc…
Cited by 39 (0 self) – Add To MetaCart

Deduction
by Ulrich Furbach, Fachbereich Informatik, Ryuzo Hasegawa, Harald Ganzinger, Im Stadtwald, Deepak Kapur
… Science. Springer Verlag, 1996. [3] William W. McCune. Experiments with discrimination-tree indexing…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB