An Educational Tool for Practising Resolution for Predicate Logic
| المؤلف الرئيسي: | Mazhar, Dalal H. |
|---|---|
| مؤلفين آخرين: | Chitil, Olaf (Super) |
| التاريخ الميلادي: |
2010
|
| موقع: | اوهايو |
| الصفحات: | 1 - 48 |
| رقم MD: | 602902 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | العربية |
| الدرجة العلمية | رسالة ماجستير |
| الجامعة | University of Kent |
| الكلية | School of Computing |
| الدولة | بريطانيا |
| المصدر: | قاعدة المنظومة للرسائل الجامعية |
| الحالة | تمت المناقشة |
| قواعد المعلومات: | Thesis |
| رابط المحتوى: |
| الوصف المادي: |
1 - 48 |
|---|
عناصر مشابهة
-
Extracting Requirements from Scenarios Using Inductive Logic Programming
بواسطة: Al Rajeh, Dalal S. منشور: (2005) -
Design Patterns for Component-Based Software Development
بواسطة: Al Shammari, Majed Mubarak A. منشور: (2010) -
Design Patterns for Component-Based Software Development
بواسطة: Al Bogamy, Fahad Raddah منشور: (2010) -
HANDWRITTEN DIGITS RECOGNITION USING STATISTICAL METHODS
بواسطة: AI Shetwey, Abd Alrahman A. منشور: (1998) -
PARALLEL PYRAMID K-MEANS CLUSTERING ALGORITHM USING THE PVM
بواسطة: Al Hamdan, Abd Alrahman Abd Alaziz منشور: (1996)