عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A96 .B5213 1993
QA
76
.
9
.
A96
.
B5213
1993
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
101728
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
تا‌بستا‌ن۴۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)91(
نام نخستين پديدآور
Bibel, Wolfgang
عنوان اصلي به قلم نويسنده ديگر
8391-
عنوان اصلي
Deduction; automated logic
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Academic Press
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
253 p.: ill.; 24 cm.
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Automatic theorem proving
عنصر شناسه ای
، Artificial intelligence
رده بندی کنگره
شماره رده
QA
76
.
9
.
A96
.
B5213
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
by Wolfgang Bibel; with the assistance of Steffen Holldobler and exercises by Gerd Neugebauer; translated by Monika Lekuse with the assistance of Donald Sannella
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU neffetS ,relbodlloH
عنصر شناسه اي
AU dreG ,reuabegueN
عنصر شناسه اي
AU akinoM ,esukeL
عنصر شناسه اي
AU dlanoD ,allennaS
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
129
