Find link

language:

Find link is a tool written by Edward Betts.

searching for Term indexing 3 found (7 total)

Handbook of Automated Reasoning (414 words) [view diff] case mismatch in snippet view article find links to article

1791–1849. Implementation I.V. Ramakrishnan, R.Sekar, Andrei Voronkov. Term Indexing, pp. 1853–1964. Christoph Weidenbach. Combining Superposition, Sorts

Andrei Voronkov (595 words) [view diff] case mismatch in snippet view article find links to article

ISBN 9780444508133. Sekar, R.; Ramakrishnan, I.V.; Voronkov, Andrei (2001). "Term Indexing". In Robinson, John Alan; Voronkov, Andrei (eds.). Handbook of Automated

Mortimer Taube (1,510 words) [view diff] exact match in snippet view article find links to article

" Taube had split coordinate indexing into two categories, item and term indexing. It used punch cards and a machine reader to search for specific items