استدلال مؤتمت

عملية توفر إطارًا منظمًا لخوارزميات تعلُّم الآلة؛ لأجل تحديد المشكلات وحلها.

الإنجليزية

Automated Reasoning

الفرنسية

Raisonnement automatisé

الإسبانية

Razonamiento Automatizado