Preliminaries.- Fundamental data structures and algorithms.-
Attribute-based indexing.- Set-based indexing.- Tree-based
indexing.- Comparison of indexing techniques.- Indexing in theorem
provers.- Summary.
This title is unavailable for purchase as none of our regular suppliers have stock available. If you are the publisher, author or distributor for this item, please visit
this link.
