كلمة ترحيبية

مرحبا بكم في موقعي بجامعة الأمير سطام بن عبد العزيز - كلية هندسة و علوم الحاسب - قسم علوم الحاسب

أتمنى التواصل معي على العنوان الإلكتروني : k.bsaies@psau.edu.sa

آخر الأخبار

كتب ومنشورات

الأبحاث العلمية

  • Proving Theorems by Folding/Unfolding

    The purpose of this work is to study, formally, the provability of implicative formulas by static analysis. To do that, we propose heuristics that...