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