عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9780273087182
شابک
9781483258935
شماره کتابشناسی ملی
شماره
b397248
عنوان و نام پديدآور
عنوان اصلي
A many-sorted calculus based on resolution and paramodulation
نام عام مواد
[Book]
نام نخستين پديدآور
Christoph Walther.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Los Altos, California :
نام ناشر، پخش کننده و غيره
Morgan Kaufmann Publishers, Inc.,
تاریخ نشرو بخش و غیره
1987.
فروست
عنوان فروست
Research Notes in Artificial Intelligence,
شاپا ي ISSN فروست
0268-7526
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Many-sorted calculus based on resolution and paramodulation.
شماره استاندارد بين المللي پياييندها
0268-7526
شماره استاندارد بين المللي کتاب و موسيقي
9780273087182
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Automatic theorem proving.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Walther, Christoph.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
ScienceDirect (Online service).
مبدا اصلی
تاريخ عمليات
20171213084631.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
