عنوان

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

نويسنده اصلي

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

محل تحصيل

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

رشته تحصيلي

علوم رياضي

مقطع تحصيلي

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

چكيده

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

شماره ركورد

19770

گرايش رشته تحصيلي

رياضي محض

دانشكده

رياضي

دانشگاه

دانشگاه صنعتي اصفهان

استاد مشاور

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

استاد داور

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

استاد راهنما

مجتبي آقائي

آدرس اينترنتي

library.iut.ac.ir/dl/search/default.aspx?Term=2388&Field=0&dtc=107