عنوان
پدید آورنده
موضوع
رده
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
