عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 P484 1996
QA76
.
9
.
A96
P484
1996
کتابخانه
محل استقرار
3540610405
9783540610403
b557925
Term Indexing
[Book]
Peter Graf
Berlin
Springer-Verlag
1996
284 s. : illustrations
Lecture Notes in Artificial Intelligence (LNAI); Lecture Notes in Computer Science, 1053
Preliminaries.- Fundamental data structures and algorithms.- Attribute-based indexing.- Set-based indexing.- Tree-based indexing.- Comparison of indexing techniques.- Indexing in theorem provers.- Summary.
Artificial intelligence.
Automatic theorem proving.
Expert systems (Computer science)
QA76
.
9
.
A96
P484
1996
Peter Graf
Peter Graf
مطالعه متن کتاب [Book]
Y
