هي عملية تطبق في مجال منطق الاستدلال الآلي. تُستخدم هذه العملية لإثبات صحة الجمل اللامتناهية باستخدام عملية الاستنتاج والحل الآلي
Share this content:
القاعدة الثنائية (Binary Resolution)
Khalid Alterkawi
قد يهمك..
ربما تكون مهتم أيضاً
ُإيتنوم