پديد آورنده :
كلانتري، ابوالقاسم
عنوان :
اثبات قضيه در منطق هاي زماني به كمك رايانه و كاربر
مقطع تحصيلي :
كارشناسي ارشد
محل تحصيل :
اصفهان: دانشگاه صنعتي اصفهان، دانشكده علوم رياضي
صفحه شمار :
[نه]، 112ص.: مصور
استاد راهنما :
مجتبي آقائي
استاد مشاور :
محمود بينا مطلق
توصيفگر ها :
منطق گزاره اي، محصولات / سيستم هاي استنتاج طبيعي و هيلبرتي / سيستم هاي گنسني / تعابير معنايي كريپكي / قضيه اثباتگر/ اثبات با نقطه گذاري، با متن /
تاريخ نمايه سازي :
18/03/83
استاد داور :
محمد اردشير، بهناز عمومي
تاريخ ورود اطلاعات :
1396/08/17
چكيده فارسي :
به فارسي (قابل رويت درقسمت "نسخه ديجيتال ")،ونيزبه انگليسي
استاد راهنما :
مجتبي آقائي
استاد مشاور :
محمود بينا مطلق
استاد داور :
محمد اردشير، بهناز عمومي
