Note: This guide provides only information about locating books, articles, dissertations and theses those completed at other universities, however, Philadelphia University does not contain the full text itself nor its contents in electronic form nor its physical form.
يقدم هذا الدليل معلومات حول مكان الكتب، والأبحاث، والأطروحات والرسائل الجامعية تلك التي أنجزت في الجامعات الأخرى مع العلم بأن جامعة فيلادلفيا لا تحتوي على نسخة ورقية او الكترونية من هذا المصدر

Automatic proof editor for martin ­loFs type teory for Naghamish Ahmed Al­Hussein Al­Sayed Megahed

  • JGLOBAL_PDF

Automatic proof editor for martin ­loFs type teory for Naghamish Ahmed Al­Hussein Al­Sayed Megahed

Material TypeThesisLanguageEnglish
TitleAutomatic proof editor for martin ­loFs type teory for Naghamish Ahmed Al­Hussein Al­Sayed Megahed Author(S)Naghamish Ahmed Al­Hussein Al­Sayed Megahed
VolPublication Date2004
Responsible AuthorshipAhmed Al­Hussein Al­Sayed Megahed Naghamish ; Supervised by Taher Tawfek Hamza Sedhom Farag Tadros Physical Description243 p :
CategoryEnglish BooksSubjectMartin­L
Cataloging Sourcea)EG-EULC c)EG-EULCISBN
DDC No.259806