مارك: 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
رابط المحتوى:	المستخلص من قاعدة المنظومة للرسائل الجامعية

LEADER	00956nam a22002177a 4500
001	0016403
040		\|a قاعدة المنظومة للرسائل الجامعية
041		\|a ara
100		\|9 39844 \|a Mazhar, Dalal H. \|e Auth.
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 http://search.mandumah.com/Record/602902 \|y المستخلص من قاعدة المنظومة للرسائل الجامعية
940		\|a تمت المناقشة
950		\|c 602902
995		\|a Thesis
999		\|c 186610 \|d 186610

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)