A SAT-­based Shikaku Solver

المؤلف الرئيسي: Al Lehyani, Budoor Ahmad
مؤلفين آخرين: Petrisan, Daniela, De Vries, Fer Jan (super)
التاريخ الميلادي: 2011
موقع: لستر
الصفحات: 1 - 49
رقم MD: 607960
نوع المحتوى: رسائل جامعية
اللغة: العربية
الدرجة العلمية رسالة ماجستير
الجامعة University of Leicester
الكلية School of Computer Science
الدولة بريطانيا
المصدر: قاعدة المنظومة للرسائل الجامعية
الحالة تمت المناقشة
قواعد المعلومات: Thesis
رابط المحتوى:
صورة الغلاف QR قانون
حفظ في:
LEADER 00934nam a22002297a 4500
001 0315297
040 |a قاعدة المنظومة للرسائل الجامعية 
041 |a ara 
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 |9 44005  |a Petrisan, Daniela  |e super 
700 |9 26300  |a De Vries, Fer Jan  |e super 
856 |u http://search.mandumah.com/Record/607960  |y المستخلص من قاعدة المنظومة للرسائل الجامعية 
940 |a تمت المناقشة 
950 |c 607960 
995 |a Thesis 
999 |c 189478  |d 189478 

عناصر مشابهة