| Document Type
|
:
|
BL
|
| Record Number
|
:
|
738046
|
| Doc. No
|
:
|
b557925
|
| Main Entry
|
:
|
Peter Graf
|
| Title & Author
|
:
|
Term Indexing\ Peter Graf
|
| Publication Statement
|
:
|
Berlin: Springer-Verlag, 1996
|
| Series Statement
|
:
|
Lecture Notes in Artificial Intelligence (LNAI); Lecture Notes in Computer Science, 1053
|
| Page. NO
|
:
|
284 s. : illustrations
|
| ISBN
|
:
|
3540610405
|
|
|
:
|
: 9783540610403
|
| Contents
|
:
|
Preliminaries.- Fundamental data structures and algorithms.- Attribute-based indexing.- Set-based indexing.- Tree-based indexing.- Comparison of indexing techniques.- Indexing in theorem provers.- Summary.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Automatic theorem proving.
|
| Subject
|
:
|
Expert systems (Computer science)
|
| LC Classification
|
:
|
QA76.9.A96P484 1996
|
| Added Entry
|
:
|
Peter Graf
|