An Educational Tool for Practising Resolution for Predicate Logic
| المؤلف الرئيسي: | Mazhar, Dalal H. (Author) |
|---|---|
| مؤلفين آخرين: | Chitil, Olaf (Super) |
| التاريخ الميلادي: |
2010
|
| موقع: | كانتربري |
| الصفحات: | 1 - 48 |
| رقم MD: | 602902 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية: | رسالة ماجستير |
| الجامعة: | University of Kent |
| الكلية: | School of Computing |
| الدولة: | بريطانيا |
| قواعد المعلومات: | +Dissertations |
| مواضيع: | |
| رابط المحتوى: |
الناشر لهذه المادة لم يسمح بإتاحتها. |
| LEADER | 01527nam a22003497a 4500 | ||
|---|---|---|---|
| 001 | 0016403 | ||
| 041 | |a eng | ||
| 100 | |9 39844 |a Mazhar, Dalal H. |e Author | ||
| 245 | |a An Educational Tool for Practising Resolution for Predicate Logic | ||
| 260 | |a كانتربري |c 2010 | ||
| 300 | |a 1 - 48 | ||
| 336 | |a رسائل جامعية | ||
| 502 | |b رسالة ماجستير |c University of Kent |f School of Computing |g بريطانيا |o 0001 | ||
| 653 | |a علوم الحاسب |a البرامج الإلكترونية |a الأدوات التعليمية |a العمليات المنطقية |a تصميم البرامج | ||
| 700 | |9 25262 |a Chitil, Olaf |e Super | ||
| 856 | |u 9823-033-001-0001-T.pdf |y صفحة العنوان | ||
| 856 | |u 9823-033-001-0001-A.pdf |y المستخلص | ||
| 856 | |u 9823-033-001-0001-C.pdf |y قائمة المحتويات | ||
| 856 | |u 9823-033-001-0001-F.pdf |y 24 صفحة الأولى | ||
| 856 | |u 9823-033-001-0001-1.pdf |y 1 الفصل | ||
| 856 | |u 9823-033-001-0001-2.pdf |y 2 الفصل | ||
| 856 | |u 9823-033-001-0001-3.pdf |y 3 الفصل | ||
| 856 | |u 9823-033-001-0001-4.pdf |y 4 الفصل | ||
| 856 | |u 9823-033-001-0001-5.pdf |y 5 الفصل | ||
| 856 | |u 9823-033-001-0001-6.pdf |y 6 الفصل | ||
| 856 | |u 9823-033-001-0001-7.pdf |y 7 الفصل | ||
| 856 | |u 9823-033-001-0001-8.pdf |y 8 الفصل | ||
| 856 | |u 9823-033-001-0001-9.pdf |y 9 الفصل | ||
| 856 | |u 9823-033-001-0001-R.pdf |y المصادر والمراجع | ||
| 930 | |d n | ||
| 995 | |a +Dissertations | ||
| 999 | |c 602902 |d 602902 | ||
عناصر مشابهة
-
XPath Learning Tool
بواسطة: Al Azwari, Sana منشور: (2010) -
Extracting Requirements from Scenarios Using Inductive Logic Programming
بواسطة: Al Rajeh, Dalal S. منشور: (2005) -
Fuzzy logic controllers design and applications
بواسطة: Sonbol, Assem H. منشور: (1999) -
BUILDING AN ANALYSIS SUB- TOOL FOR COMPONENT - BASED SOFTWARE DEVELOPMENT
بواسطة: Abu Alnaja, Osama A. منشور: (2000) -
DEVELOPMENT OF A TABLEAUX RESOLUTION PROVER
بواسطة: Al Barakati, Rawan Ghali منشور: (2009)
