ارسل ملاحظاتك

ارسل ملاحظاتك لنا







An Educational Tool for Practising Resolution for Predicate Logic

المؤلف الرئيسي: Mazhar, Dalal H. (Author)
مؤلفين آخرين: Chitil, Olaf (Super)
التاريخ الميلادي: 2010
موقع: كانتربري
الصفحات: 1 - 48
رقم MD: 602902
نوع المحتوى: رسائل جامعية
اللغة: الإنجليزية
الدرجة العلمية: رسالة ماجستير
الجامعة: University of Kent
الكلية: School of Computing
الدولة: بريطانيا
قواعد المعلومات: +Dissertations
مواضيع:
رابط المحتوى:

الناشر لهذه المادة لم يسمح بإتاحتها.

صورة الغلاف QR قانون
حفظ في:

عناصر مشابهة