عنوان
پدید آورنده
موضوع
رده
QA 303 .L55 1997
QA
303
.
L55
1997
کتابخانه
محل استقرار
شماره کتابشناسی ملی
شماره
6202
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
eng
عنوان و نام پديدآور
عنوان اصلي
The resolution calculus
نام نخستين پديدآور
/ Alexander Leitsch
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 1997.
مشخصات ظاهری
نام خاص و کميت اثر
viii, 300p.
ساير جزييات
:ill
يادداشت کلی
متن يادداشت
Language: انگلیسی
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Calculus
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Leitsch, Alexander
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
