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