DEVELOPMENT OF A TABLEAUX RESOLUTION PROVER
| المؤلف الرئيسي: | Al Barakati, Rawan Ghali |
|---|---|
| مؤلفين آخرين: | Schmid, Renate A. (Super) |
| التاريخ الميلادي: |
2009
|
| موقع: | مانشستر |
| الصفحات: | 1 - 118 |
| رقم MD: | 598828 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | العربية |
| الدرجة العلمية | رسالة ماجستير |
| الجامعة | University of Manchester |
| الكلية | Faculty of Engineering and Physical Sciences |
| الدولة | بريطانيا |
| المصدر: | قاعدة المنظومة للرسائل الجامعية |
| الحالة | تمت المناقشة |
| قواعد المعلومات: | Thesis |
| رابط المحتوى: |
| الوصف المادي: |
1 - 118 |
|---|
عناصر مشابهة
-
Development of a Hight-resolution Anthropomorphic phantom for proton therapy of the Eye by Simulation using the MCNPX code
بواسطة: Al Barakati, Yasir Hamed منشور: (2005) -
FAULT SIMULATION AND TEST GENERATION BY FAULT SAMPLING TECHNIQUES
بواسطة: Al Kharji, Musaed A. منشور: (1992) -
SATFAST: A STATISTICAL TOOL FOR FAULT SIMULATION AND TEST GENERATION
بواسطة: Al Kharji, Musaed A. منشور: (1997) -
The Application of Workflows to Digital Heritage Systems
بواسطة: Al Barakati, Abd Allah منشور: (2012) -
Developing A Brain-Computer Interface Based on the P300 and RSVP
بواسطة: Al Sufyani, Abd Almajeed Safar منشور: (2010)