بالاترین سوالات
زمانبندی
چت
دیدگاه
بررسی برهان خودکار
از ویکیپدیا، دانشنامه آزاد
Remove ads
بررسی برهان خودکار در علوم رایانه به فرایند استفاده از نرمافزار برای بررسی درستی برهانهای ریاضی است. بررسی برهان خودکار یکی از توسعهیافتهترین شاخههای استدلال خودکار بهشمار میآید.
منابع
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads