The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics رسالة ماجستير


لتحميل الملف
لتحميل الملف

جهازك لا يدعم قرائة ملف الكتاب



اضغط الرابط ليتم تحميل الكتاب