اختيار الموقع            تسجيل دخول
 

الأبحاث العلمية
الابحاث حسب سنة النشر
  نتيجة البحث عن  : السيد ، علي مجاهد احمد
   تم العثور علي  29  مقالة
 

On Martin-L?f Type Theory and MuType System
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 54-83
تم النشر في  : The Egyptian Computer Journal, ISSR, Cairo Univ.
تم النشر بتاريخ  : 01/11/1997




From Martin-L?f’s Syntax to MuType Syntax
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 245-260
تم النشر في  : Scientafic Bulletin, Faculty of Engineering, Ain Shames Univ
تم النشر بتاريخ  : 30/06/2000




Proof Editor System Based on Martin-L?f Type Theory (PESM)
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 26-35
تم النشر في  : International Journal of Intelligent Computing & Information Science, Faculty of Computer & Information Science, Ain Shams University
تم النشر بتاريخ  : 01/10/2002




Specification with a Mechanization of Martin-L?f’s Type Theory
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza


تم النشر في  : Egyptian Informatics Journal, Faculty of Computers & Information, Cairo Univ
تم النشر بتاريخ  : 01/01/2004




Automatic Program Verification in Martin-L?f’s Type Theoryhttp://faculty.ksu.edu.sa/Naghamish/Pages/paper5.aspx
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.





External spermatic vein ligation improves the outcome of varicocele surgery: fact or fiction?|External spermatic vein ligation improves the outcome of varicocele surgery: fact or fiction?
 إيهاب محمد على سعد - جامعة المنصورة - كلية الطب - Ehab Mohamed Ali Saad
سمير محمد أحمد عطيه|إيهاب محمد على سعد|هشام على محمد شرف الدين|ياسر مصباح بدير القيران|عبد السلام محمد فتحى مجاهد|ياسر على السيد إبراهيم -


تم النشر بتاريخ  : 01/04/2002




T2 versus T2 and T3 endoscopic sympathetic ablation in primary palmar hyperhidrosis.|T2 versus T2 and T3 endoscopic sympathetic ablation in primary palmar hyperhidrosis.
 إيهاب محمد على سعد - جامعة المنصورة - كلية الطب - Ehab Mohamed Ali Saad
هشام على محمد شرف الدين|ياسر مصباح بدير القيران|إيهاب محمد على سعد|سمير محمد أحمد عطيه|عبد السلام محمد فتحى مجاهد|حسام عبد الحميد حسن الوكيل|حامد السيد أحمد حورية -


تم النشر بتاريخ  : 01/01/2003




T2 versus T2 and T3 endoscopic sympathetic ablation in primary palmar hyperhidrosis.|T2 versus T2 and T3 endoscopic sympathetic ablation in primary palmar hyperhidrosis.
 حامد السيد أحمد حورية - جامعة المنصورة - كلية الطب - Hamid ELsayed Ahmed Houria
هشام على محمد شرف الدين|ياسر مصباح بدير القيران|إيهاب محمد على سعد|سمير محمد أحمد عطيه|عبد السلام محمد فتحى مجاهد|حسام عبد الحميد حسن الوكيل|حامد السيد أحمد حورية -


تم النشر بتاريخ  : 01/01/2003




External spermatic vein ligation improves the outcome of varicocele surgery: fact or fiction?|External spermatic vein ligation improves the outcome of varicocele surgery: fact or fiction?
 سمير محمد أحمد عطيه - جامعة المنصورة - كلية الطب - Samir Mohamed Ahmed Attia
سمير محمد أحمد عطيه|إيهاب محمد على سعد|هشام على محمد شرف الدين|ياسر مصباح بدير القيران|عبد السلام محمد فتحى مجاهد|ياسر على السيد إبراهيم -


تم النشر بتاريخ  : 01/04/2002




T2 versus T2 and T3 endoscopic sympathetic ablation in primary palmar hyperhidrosis.|T2 versus T2 and T3 endoscopic sympathetic ablation in primary palmar hyperhidrosis.
 سمير محمد أحمد عطيه - جامعة المنصورة - كلية الطب - Samir Mohamed Ahmed Attia
هشام على محمد شرف الدين|ياسر مصباح بدير القيران|إيهاب محمد على سعد|سمير محمد أحمد عطيه|عبد السلام محمد فتحى مجاهد|حسام عبد الحميد حسن الوكيل|حامد السيد أحمد حورية -


تم النشر بتاريخ  : 01/01/2003




من 3
 


Powered by Future Library Software.All rights reserved © CITC - Mansoura University. Sponsored by Mansoura University Privacy Policy