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

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