عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Interactive logic :
پدید آورنده
edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
موضوع
Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده
QA269
.
I58
2007
کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
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
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح