اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر SUPERVISOR Mahmoud Binaye motlagh,Mojtaba Aghaei محمود بینای مطلق (استاد مشاور) مجتبی آقائی فروشانی (استاد راهنما) STUDENT سیدابوالقاسم کلانتری FACULTY - DEPARTMENT دانشکده ریاضی DEGREE Master of Science (MSc) YEAR 1380 TITLE اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر
