برای استفاده از امکانات سیستم، گزینه جاوا اسکریپت در مرورگر شما باید فعال باشد
صفحه
از
0
پیاده سازی یک نمونه اثبات کننده خودکار قضایا
رافع، رضا.
اطلاعات کتابشناختی
پیاده سازی یک نمونه اثبات کننده خودکار قضایا
پدیدآور اصلی :
رافع، رضا.
ناشر :
صنعتی شریف
سال انتشار :
1377
موضوع ها :
اثبات خودکار قضیه Automatic Theorem Proving هوش مصنوعی Artificial Intelligence وارس...
شماره راهنما :
19-32158
جستجو در محتوا
ترتيب
شماره صفحه
امتياز صفحه
فهرست مطالب