Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order pre

Handbook of Automated Reasoning.

The growth of the Internet and the availability of enormous volumes of data in digital form have necessitated intense interest in techniques to assist the user

Automatic Indexing and Abstracting of Document Texts summarizes the latest techniques of automatic indexing and abstracting, and the results of their applicatio

An index could be the thing your book is missing. Take a look in a library or bookstore and you will find few nonfiction books that don't have indexes. That's b