پياده سازي ابزار درستي سنجي با قابليت شبيه سازي نمادين مبتني بر منطق تساوي با پشتيباني مجردسازي توابع و عبارات لامبدا
/ بهمن عجمي
پياده سازي ابزار درستي سنجي با قابليت شبيه سازي نمادين مبتني بر منطق تساوي با پشتيباني مجردسازي توابع و عبارات لامبدا
Author
/ بهمن عجميEdition 1
list
شناسنامه
Main Entry
عجمي، بهمن، نویسندهTitle and Author
پياده سازي ابزار درستي سنجي با قابليت شبيه سازي نمادين مبتني بر منطق تساوي با پشتيباني مجردسازي توابع و عبارات لامبدا / / بهمن عجميPhysical Description
: نمودار، جدول.Language
فارسی