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

چکیده مقاله

کلیدواژه‌ها

نویسندگان

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

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

حسن شاکری

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

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

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

رزومه علمی کاربران

درباره سیویلیکاتبلیغات در سیویلیکاآمار علمی ایرانتقویم علمی ایرانداده کاوی مقالاتطرح های پژوهشی

در صورتی که می خواهید در اثر پژوهشی خود به این مقاله ارجاع دهید، به سادگی می توانید از عبارت زیر در بخش منابع و مراجع استفاده نمایید: کرباسی معروف، زهرا و شاکری، حسن و محروقی، حمیدرضا،1398،بررسی اهمیت روشهای صوری در حوزه ی مهندسی کامپیوتر و تحلیل و توصیف مساله ربات آتش نشان با استفاده از روش صوری منطق شناختی،چهارمین کنفرانس بین المللی پژوهش در علوم و مهندسی،https://civilica.com/doc/936186

ارائه‌شده در

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