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