منطق براي نرمافزارهاي اجتماعي
/ برديا دوستي
منطق براي نرمافزارهاي اجتماعي
Author
/ برديا دوستيEdition 1
list
شناسنامه
Main Entry
نویسندهTitle and Author
منطق براي نرمافزارهاي اجتماعي / / برديا دوستيPhysical Description
90 ص.؛ : مصور، جدول، نمودار (رساله).Subject
نظريه بازيهامعناشناسي
بازي مشارکتي
منطق موجهات
وارسي مدل
منطق زماني
قضيه تماميت
بازي پويا
محاسبهپذيري
Language
فارسی