نقدم لكم ملف PDF كامل بعنوان The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics رسالة ماجستير وهو ضمن التصنيف الرئيسي تكنولوجيا المعلومات والذي يقع تحت التصنيف الفرعي علم الحاسوب يجدر الذكر أن الملف يقع تحت قسم رسائل الماجستير والدكتوراه (ملفات PDF).