بررسی برهان خودکار
From Wikipedia, the free encyclopedia
From Wikipedia, the free encyclopedia
بررسی برهان خودکار در علوم رایانه به فرایند استفاده از نرمافزار برای بررسی درستی برهانهای ریاضی است. بررسی برهان خودکار یکی از توسعهیافتهترین شاخههای استدلال خودکار بهشمار میآید.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.