نام و نام خانوادگی محمد رضا زندمیرالوند شغل نامشخص تحصیلات _ وبسایت پست الکترونیک — مقاله چاپشده مقاله ارائهشده کتاب پایان نامه های تقاضا محور و غیر تقاضا محور طرح پژوهشی خاتمهیافته افتخارات و جوایز استانی، کشوری و بینالمللی ابداع عنوانمجله 1 Verification of confliction and unreachability in rule-based expert systems with model checking International Journal of Artificial Intelligence & Applications: IJAIA