عنوان
پدید آورنده
موضوع
رده
QA،76.9،.A96,W67،1988
QA
،
76
.
9
،.
A96
,
W67
،
1988
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
English Book
عنوان و نام پديدآور
عنوان اصلي
Automated reasoning: 33 Base research problems
نام نخستين پديدآور
Larry Wos
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Englewood cliffs
نام ناشر، پخش کننده و غيره
Prentice- Hall
تاریخ نشرو بخش و غیره
1988
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 319 p
يادداشت کلی
متن يادداشت
Title
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Automatic theorem proving
عنصر شناسه ای
Artificial intelligence
عنصر شناسه ای
Electronic digital computers- Programming
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
9
شماره رکورد رده بندي
.
A96
,
W67
شماره رکورد غير از شماره رده بندي
1988
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Wos, Larry
