مدل سازي و تحليل اكتورهاي زماندار مبتني بر منطق بازنويسي
/ زينب صباحي كاوياني
مدل سازي و تحليل اكتورهاي زماندار مبتني بر منطق بازنويسي
المؤلف
/ زينب صباحي كاويانيطبع 1
قائمة
شناسنامه
المدخل الرئيسي
صباحي كاوياني، زينب، نویسندهالعنوان واسم المؤلف
مدل سازي و تحليل اكتورهاي زماندار مبتني بر منطق بازنويسي / / زينب صباحي كاويانيالمواصفات الشكلية
ث،85ص.؛ : تصوير، پيوست.الموضوع
وارسيمدلمدل اكتور
ربكاي زماندار
منطق بازنويسي
ماد بيدرنگ
سيستمهاي همروند
سيستمهاي بيدرنگ
اللغة
فارسی