ذكاء اصطناعي, رياضيات, علم الحاسوب, منطق

نظام إثبات النظريات (Theorem Proving System)