عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3642208312
شابک
9783642208317
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Logic programming, knowledge representation, and nonmonotonic reasoning :
نام عام مواد
[Book]
ساير اطلاعات عنواني
essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
نام نخستين پديدآور
Marcello Balduccini, Tran Cao Son (eds.)
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 512 pages :
ساير جزييات
illustrations ;
ابعاد
24 cm
فروست
عنوان فروست
Lecture notes in computer science. Lecture notes in artificial intelligence. Festschrift ;
عنوان فروست
LNCS sublibrary. SL 7, Artificial intelligence
مشخصه جلد
6565
يادداشت کلی
متن يادداشت
Some of these papers were presented at the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, duting Oct., 25-26, 2010
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
نام شخص به منزله موضوع
موضوع مستند نشده
Gelfond, Michael
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic programming
موضوع مستند نشده
Nonmonotonic reasoning
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Balduccini, Marcello
مستند نام اشخاص تاييد نشده
Gelfond, Michael
مستند نام اشخاص تاييد نشده
Son, Tran Cao,1962-
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Symposium on Constructive Mathematics in Computer Science(2010 :, Lexington, Ky.)
مبدا اصلی
تاريخ عمليات
20141128143632.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
