درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
777 مرتبه مشاهده شده
پیاده سازی یک نمونه اثبات کننده خودکار قضایا
رافع، رضا.
- شماره پایان نامه:32158
- کد دانشکده:19
- پديدآور: رافع، رضا.
- عنوان:پیاده سازی یک نمونه اثبات کننده خودکار قضایا.
- محل اخذ مدرك:تهران :
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1377
- نام دانشکده:مهندسی کامپیوتر
- گرایش:کارشناسی ارشد(نرم افزار)
- یادداشت:115ص.،تصویر، جدول، کتابنامه
- توصیفگر: اثبات خودکار قضیه Automatic Theorem Proving
- توصیفگر: هوش مصنوعی Artificial Intelligence
- توصیفگر: وارس برنامه (کامپیوتر) PROGRAM VERIFICATION (COMPUTER)
- توصیفگر: اثبات Proving
- توصیفگر: استقراء Induction
- استاد راهنما. قاسم ثانی، غلامرضا،
- محتواي پايان نامه
- مشاهده