كلانتري، ابوالقاسم

عنوان

اثبات قضيه در منطق هاي زماني به كمك رايانه و كاربر

مقطع تحصيلي

كارشناسي ارشد

گرايش تحصيلي

رياضي محض

محل تحصيل

اصفهان: دانشگاه صنعتي اصفهان، دانشكده علوم رياضي

سال دفاع

1383

صفحه شمار

[نه]، 112ص.: مصور

يادداشت

توصيفگر ها

تاريخ ورود اطلاعات

1396/08/17

كتابنامه

رشته تحصيلي

علوم رياضي

دانشكده

رياضي

كد ايرانداك

ID2302

چكيده فارسي

به فارسي (قابل رويت درقسمت "نسخه ديجيتال ")،ونيزبه انگليسي

استاد راهنما

مجتبي آقائي

استاد مشاور

محمود بينا مطلق

استاد داور

محمد اردشير، بهناز عمومي

لينک به اين مدرک