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

المؤلفين المشاركين
 طاهر توفيق أحمد حمزة
  عدد المقالات  : 96
 

Automatic Arabic Word Sense Tagging Based on Naive Bayes Classifier
 Hatem M. Noman -
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza
سمير الدسوقى السيد الموجى - جامعة المنصورة - كلية الحاسبات والمعلومات


تم النشر في  : Mansoura Journal for computer science and information system
تم النشر بتاريخ  : 27/03/2008




’Naive Bayes Classifier for Arabic word sense Disambiguation
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza
سمير الدسوقى السيد الموجى - جامعة المنصورة - كلية الحاسبات والمعلومات
Hatem M. Noman -


تم النشر في  : the 6th International Conference on Informatics and systems , INFOS2008,Cairo University
تم النشر بتاريخ  : 27/03/2008




”A Prolog Program for the Sequent Calculus Cut_Elimination
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 49-58
تم النشر في  : Jour. Inst. Math. & Comp. Sci
تم النشر بتاريخ  : 01/01/1994




Clausal Form Program
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 5-20
تم النشر في  : Jour. Inst. Math. & Comp. Sci
تم النشر بتاريخ  : 01/01/1995




Automatic Natural Deduction Proof Checker (ANDPC)
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 149-173
تم النشر في  : Mans. Sci. Bull. (C Nat. Sci.)
تم النشر بتاريخ  : 01/06/1995




Reduction Propositional Calculus to Normal Form (RPCNF)
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 25-35
تم النشر في  : Jour. Inst. Math. & Comp. Sci
تم النشر بتاريخ  : 01/02/1996




Turbo Prolog Propositional Calculus System (TPC
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 43-61
تم النشر في  : Mans. Sci. Bull. (C Nat. Sci.)
تم النشر بتاريخ  : 01/03/1996




Lemmon Proof Checker (LemPC)
 طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 19-38
تم النشر في  : Bull. Fac. Sci., Assiut Univ
تم النشر بتاريخ  : 01/05/1996




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




من 10
 


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