عنوان
پدید آورنده
موضوع
رده
QA269 .I58 2007
QA269
.
I58
2007
کتابخانه
محل استقرار
شابک
شابک
9053563563 (paper)
شابک
9789053563564 (paper)
شماره کتابشناسی ملی
شماره
b511721
عنوان و نام پديدآور
عنوان اصلي
Interactive logic :
نام عام مواد
[Book]
ساير اطلاعات عنواني
selected papers from the 7th Augustus de Morgan workshop, London /
نام نخستين پديدآور
edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
[Amsterdam] :
نام ناشر، پخش کننده و غيره
Amsterdam University Press,
تاریخ نشرو بخش و غیره
c2007
مشخصات ظاهری
نام خاص و کميت اثر
362 p. :
ساير جزييات
ill. ;
ابعاد
24 cm
فروست
عنوان فروست
Texts in logic and games ;
مشخصه جلد
v. 1
يادداشت کلی
متن يادداشت
The 7th Augustus de Morgan workshop (ADMW) was held from November 4th to 7th, 2005 under the title Interactive logic : games and social software
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Game theory, Congresses
موضوع مستند نشده
Logic, Symbolic and mathematical, Congresses
رده بندی کنگره
شماره رده
QA269
شماره رده
QA9
نشانه اثر
.
I58
2007
نشانه اثر
.
I58
2007
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Benthem, Johan van,1949-
مستند نام اشخاص تاييد نشده
Löwe, Benedikt
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Augustus de Morgan Workshop(7th :2005 :, London, England)
مبدا اصلی
تاريخ عمليات
20090406123617.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
