عنوان
پدید آورنده
موضوع
رده
QA 76 .M495 1995
QA
76
.
M495
1995
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
144489
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
زمستا‌ن۶۸
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
Meyer, John-Jules Ch.
عنوان اصلي
Epistemic logic for AI and computer science
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge; New York
نام ناشر، پخش کننده و غيره
Cambridge University Press
تاریخ نشرو بخش و غیره
1995
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 354 p.: ill.; 26 cm
فروست
عنوان فروست
Cambridge tracts in theoretical computer science
شاپا ي ISSN فروست
41
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computer science
عنصر شناسه ای
، Artificial intelligence
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
76
.
M495
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
J.-J. Ch. Meyer, W. van der Hoek
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU (red nav ebeiW) red nav .W ,keoH
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
