بررسی اهمیت روشهای صوری در حوزه ی مهندسی کامپیوتر و تحلیل و توصیف مساله ربات آتش نشان با استفاده از روش صوری منطق شناختی

چکیده مقاله

کلیدواژه‌ها

نویسندگان

زهرا کرباسی معروف

دانشجوی ارشد، دانشکده مهندسی فناوری اطلاعات و کامپیوتر، دانشگاه بین المللی امام رضا (ع)، مشهد، ایران

حسن شاکری

استادیار، دانشگاه آزاد اسلامی واحد مشهد، گروه مهندسی کامپیوتر، مشهد، ایران

حمیدرضا محروقی

استادیار، گروه مهندسی کامپیوتر، دانشگاه بین المللی امام رضا (ع)، مشهد، ایران

کرباسی معروف، زهرا و شاکری، حسن و محروقی، حمیدرضا،1398،بررسی اهمیت روشهای صوری در حوزه ی مهندسی کامپیوتر و تحلیل و توصیف مساله ربات آتش نشان با استفاده از روش صوری منطق شناختی،چهارمین کنفرانس بین المللی پژوهش در علوم و مهندس�

ارائه‌شده در

مجموعه مقالات چهارمین کنفرانس بین المللی پژوهش در علوم و مهندسی27 تیر 1398