مشاركة
مبرهن النظريات الذكي == An Intelligent Theorem Prover
اسم المؤلف:
محمد خزعل جابر
الجامعة:
جامعة البصرة - كلية العلوم
اسم المشرف:
Mohamad E. Ali
الموضوع العام:
علوم الحاسبات
الموضوع الدقيق:
علوم الحاسبات
الدرجة:
ماجستير
اللغة:
الانكليزية
السنة:
1998
مكان الجامعة:
البصرة
الصفحات الاولى:
T132390 - p.pdf
