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