عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9780080930671
شابک
9780444516244
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Computational logic
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
وضعیت ویراست
وضعيت ويراست
First edition.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam, Netherlands :
نام ناشر، پخش کننده و غيره
North Holland,
تاریخ نشرو بخش و غیره
2014.
فروست
عنوان فروست
Handbook of the History of Logic,
مشخصه جلد
Volume 9
شاپا ي ISSN فروست
1874-5857 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references at the end of each chapters and index.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Computational logic.
شماره استاندارد بين المللي کتاب و موسيقي
9780444516244
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer logic.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Gabbay, Dov M.,1945-
مستند نام اشخاص تاييد نشده
Siekmann, Jörg H.
مستند نام اشخاص تاييد نشده
Woods, John, (John Hayden)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
ScienceDirect (Online service).
مبدا اصلی
تاريخ عمليات
20181030161742.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
