بررسی برهان خودکار
بررسی برهان خودکار در علوم رایانه به فرایند استفاده از نرمافزار برای بررسی درستی برهانهای ریاضی است. بررسی برهان خودکار یکی از توسعهیافتهترین شاخههای استدلال خودکار به شمار میآید.
منابع
- (انگلیسی) Natarajan Shankar، Proof checking metamathematics، Computational Logic، Inc، ۱۹۸۷
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.