عنوان
پدید آورنده
موضوع
رده
QA 9 .C49
QA
9
.
C49
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
51711
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
Chang, Chin- Liang
خط فهرست نويسي و خط اصلي شناسه
1937-
عنوان اصلي
Symbolic logic and mechanical theorem proving
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Academic Press
تاریخ نشرو بخش و غیره
]1973[
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 331p. illus. 24cm
فروست
عنوان فروست
Computr science and applied mathemaics
يادداشت کلی
متن يادداشت
Bibliography: p. 309-324
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, Symbolic and mathemaical
عنصر شناسه ای
، Automatic theorem proving
عنصر شناسه ای
، Artificial intelligence
رده بندی کنگره
شماره رده
QA
9
.
C49
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
]by[ Chin- Liang Chang ]and[ Richard Char- Tung Lee
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU gnuT -rahC drahciR ,eeL 1939- joint author
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
