0
سلة النتائج
0
سلة النتائج
حسابك
|
تسجيل خروج
دخول
اللغة:
English
Arabic
القواعد
المجلات
المؤتمرات
الدعم الفني
المساعدة
الرئيسية
>
مؤلف
>
Maghrabi, Talal Hamza
عناصر البحث الخاصة بك
نوع البحث
جميع الحقول
العنوان
مؤلف
الموضوع
بحث متقدم
عرض
1
-
1
من
1
للبحث:
'Maghrabi, Talal Hamza'
, وقت الاستعلام: 0.1s
ترتيب
الصلة
التاريخ تنازليا
التاريخ تصاعديا
الاحدث إضافة
المؤلف
العنوان
اختر الصفحة
|
مع الاختيارات:
1
اختر هذا السجل
THE SYNTHESIS TABLEAU: A DEDUCTIVE FRAMEWORK FOR PROGRAM SYNTHESIS BASED ON SEQUENT CALCULUS
بواسطة
Maghrabi
,
Talal
Hamza
تاريخ:
1992
الدرجة العلمية:
رسالة دكتوراه
المصدر:
قاعدة المنظومة للرسائل الجامعية
الجامعة:
Arizona State University
الكلية:
The Graduate School
الحالة:
تمت المناقشة
المستخلص من قاعدة المنظومة للرسائل الجامعية
إضافة إلى سلة النتائج
حفظ في:
اختر الصفحة
|
مع الاختيارات:
أدوات البحث:
خلاصات