مارك: DEVELOPMENT OF A TABLEAUX RESOLUTION PROVER

المؤلف الرئيسي:	Al Barakati, Rawan Ghali
مؤلفين آخرين:	Schmid, Renate A. (Super)
التاريخ الميلادي:	2009
موقع:	مانشستر
الصفحات:	1 - 118
رقم MD:	598828
نوع المحتوى:	رسائل جامعية
اللغة:	العربية
الدرجة العلمية	رسالة ماجستير
الجامعة	University of Manchester
الكلية	Faculty of Engineering and Physical Sciences
الدولة	بريطانيا
المصدر:	قاعدة المنظومة للرسائل الجامعية
الحالة	تمت المناقشة
قواعد المعلومات:	Thesis
رابط المحتوى:	المستخلص من قاعدة المنظومة للرسائل الجامعية

LEADER	00940nam a22002177a 4500
001	0014043
040		\|a قاعدة المنظومة للرسائل الجامعية
041		\|a ara
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 http://search.mandumah.com/Record/598828 \|y المستخلص من قاعدة المنظومة للرسائل الجامعية
940		\|a تمت المناقشة
950		\|c 598828
995		\|a Thesis
999		\|c 184495 \|d 184495