درحال بارگذاري...
جستجو
جستجو در این منبع
ترتيب بر اساس
پیاده سازی یک نمونه اثبات کننده خودکار قضایا
777 مرتبه مشاهده شده

پیاده سازی یک نمونه اثبات کننده خودکار قضایا

رافع، رضا.

  1. شماره پایان نامه:32158
  2. کد دانشکده:19
  3. پديدآور: رافع، رضا.
  4. عنوان:پیاده سازی یک نمونه اثبات کننده خودکار قضایا.
  5. محل اخذ مدرك:تهران :
  6. نام دانشگاه/پژوهشگاه:صنعتی شریف
  7. سال اخذ مدرك:1377
  8. نام دانشکده:مهندسی کامپیوتر
  9. گرایش:کارشناسی ارشد(نرم افزار)
  10. یادداشت:115ص.،تصویر، جدول، کتابنامه
  11. توصیفگر: اثبات خودکار قضیه Automatic Theorem Proving
  12. توصیفگر: هوش مصنوعی Artificial Intelligence
  13. توصیفگر: وارس برنامه (کامپیوتر) PROGRAM VERIFICATION (COMPUTER)
  14. توصیفگر: اثبات Proving
  15. توصیفگر: استقراء Induction
  16. استاد راهنما. قاسم ثانی، غلامرضا،

 فهرست محتوای دیجیتالی

 فهرست مطالب

اين منبع فهرست مطالبي ندارد

 فهرست نقدها