اطلاعات محلی رکورد
نوع مدرک
English Book
عنوان و نام پديدآور
عنوان اصلي
A resolution principle for a logic with restricted quantifiers
نام نخستين پديدآور
H.-J. Burckert
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1991
مشخصات ظاهری
نام خاص و کميت اثر
x, 116 p. ill.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. [101]&-109) and indexes.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Automatic theorem proving
عنصر شناسه ای
Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
,
76
.
9
,.
A96B87
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Burckert, H. J.(Hans-Jurgen)
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Title
عنصر شناسه اي
Series
