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
مواضيع:	الحاسبات الإلكترونية \| حل المسائل \| البرامج الإلكترونية \| المحاكاة
رابط المحتوى:	صفحة العنوان المستخلص قائمة المحتويات 24 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.

LEADER	01508nam a22003497a 4500
001	0014043
041		\|a eng
100		\|9 10162 \|a Al Barakati, Rawan Ghali \|e Author
245		\|a DEVELOPMENT OF A TABLEAUX RESOLUTION PROVER
260		\|a مانشستر \|c 2009
300		\|a 1 - 118
336		\|a رسائل جامعية
502		\|b رسالة ماجستير \|c University of Manchester \|f Faculty of Engineering and Physical Sciences \|g بريطانيا \|o 0013
653		\|a الحاسبات الإلكترونية \|a حل المسائل \|a البرامج الإلكترونية \|a المحاكاة
700		\|9 47102 \|a Schmid, Renate A. \|e Super
856		\|u 9823-013-001-0013-T.pdf \|y صفحة العنوان
856		\|u 9823-013-001-0013-A.pdf \|y المستخلص
856		\|u 9823-013-001-0013-C.pdf \|y قائمة المحتويات
856		\|u 9823-013-001-0013-F.pdf \|y 24 صفحة الأولى
856		\|u 9823-013-001-0013-1.pdf \|y 1 الفصل
856		\|u 9823-013-001-0013-2.pdf \|y 2 الفصل
856		\|u 9823-013-001-0013-3.pdf \|y 3 الفصل
856		\|u 9823-013-001-0013-4.pdf \|y 4 الفصل
856		\|u 9823-013-001-0013-5.pdf \|y 5 الفصل
856		\|u 9823-013-001-0013-6.pdf \|y 6 الفصل
856		\|u 9823-013-001-0013-7.pdf \|y 7 الفصل
856		\|u 9823-013-001-0013-8.pdf \|y 8 الفصل
856		\|u 9823-013-001-0013-R.pdf \|y المصادر والمراجع
856		\|u 9823-013-001-0013-S.pdf \|y الملاحق
930		\|d n
995		\|a +Dissertations
999		\|c 598828 \|d 598828