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