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
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )