استدلال آلي, ذكاء اصطناعي, علوم الحاسوب, منطق رياضيالإثبات الآلي للنظريات (Automated Theorem Proving)