LEADER |
01397nam a22003377a 4500 |
001 |
0315297 |
041 |
|
|
|a eng
|
100 |
|
|
|9 14779
|a Al Lehyani, Budoor Ahmad
|e auth
|
245 |
|
|
|a A SAT-Based Shikaku Solver
|
260 |
|
|
|a ليستر
|c 2011
|
300 |
|
|
|a 1 - 49
|
336 |
|
|
|a رسائل جامعية
|
502 |
|
|
|b رسالة ماجستير
|c University of Leicester
|f School of Computer Science
|g بريطانيا
|o 0010
|
653 |
|
|
|a شيكاغو
|a الأهاجي والألغاز
|a الرياضيات
|a حل الألغاز الرياضية
|
700 |
|
|
|a Petrisan, Daniela
|e Advisor
|9 44005
|
700 |
|
|
|9 26300
|a De Vries, Fer Jan
|e Advisor
|
856 |
|
|
|u 9823-035-003-0010-T.pdf
|y صفحة العنوان
|
856 |
|
|
|u 9823-035-003-0010-A.pdf
|y المستخلص
|
856 |
|
|
|u 9823-035-003-0010-C.pdf
|y قائمة المحتويات
|
856 |
|
|
|u 9823-035-003-0010-F.pdf
|y 24 صفحة الأولى
|
856 |
|
|
|u 9823-035-003-0010-1.pdf
|y 1 الفصل
|
856 |
|
|
|u 9823-035-003-0010-2.pdf
|y 2 الفصل
|
856 |
|
|
|u 9823-035-003-0010-3.pdf
|y 3 الفصل
|
856 |
|
|
|u 9823-035-003-0010-4.pdf
|y 4 الفصل
|
856 |
|
|
|u 9823-035-003-0010-5.pdf
|y 5 الفصل
|
856 |
|
|
|u 9823-035-003-0010-6.pdf
|y 6 الفصل
|
856 |
|
|
|u 9823-035-003-0010-7.pdf
|y 7 الفصل
|
856 |
|
|
|u 9823-035-003-0010-R.pdf
|y المصادر والمراجع
|
930 |
|
|
|d n
|
995 |
|
|
|a +Dissertations
|
999 |
|
|
|c 607960
|d 607960
|