عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 1998
QA
76
.
9
.
A96
1998
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
6974
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Automated deduction-a basis for applications
نام عام مواد
[Book]
نام نخستين پديدآور
/ edited by Wolfgang Bibel and Peter H.Schmitt
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
: Kluwer academic pub
تاریخ نشرو بخش و غیره
, 1998.
مشخصات ظاهری
نام خاص و کميت اثر
2vols.
ساير جزييات
:ill
فروست
عنوان فروست
(Applied logic series)
يادداشت کلی
متن يادداشت
Language: انگلیسی
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic,Symbolic and mathematical
عنصر شناسه ای
Automatic theorem proving
رده بندی کنگره
شماره رده
QA
76
.
9
نشانه اثر
.
A96
1998
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Bibel, Wolfgang
مستند نام اشخاص تاييد نشده
Schmitt, Peter H
مبدا اصلی
کشور
ایران
شماره دستیابی
شماره بازیابی
QA 76.9 .A96 1998
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
