THE SYNTHESIS TABLEAU: A DEDUCTIVE FRAMEWORK FOR PROGRAM SYNTHESIS BASED ON SEQUENT CALCULUS
| المؤلف الرئيسي: | Maghrabi, Talal Hamza (Author) |
|---|---|
| مؤلفين آخرين: | Golshani, F. (Advisor) |
| التاريخ الميلادي: |
1992
|
| موقع: | تمبي |
| الصفحات: | 1 - 189 |
| رقم MD: | 620320 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية: | رسالة دكتوراه |
| الجامعة: | Arizona State University |
| الكلية: | The Graduate School |
| الدولة: | الولايات المتحدة الأمريكية |
| قواعد المعلومات: | +Dissertations |
| مواضيع: | |
| رابط المحتوى: |
الناشر لهذه المادة لم يسمح بإتاحتها. |
عناصر مشابهة
-
Stochastic Calculus
بواسطة: Al Harthi, Muteb منشور: (2012) -
wavelet and calculus and connection coefficients
بواسطة: Ali, Neveen Abd Alfatah منشور: (2007) -
Diagnosis via Qualitative Parameter Estimation
بواسطة: Al Ballaa, Hind Rasheed منشور: (2008) -
On some problems in the fractional calculus
بواسطة: Raslan, Waleed Ezzat منشور: (2010) -
A STUDY OF SUBCLASSES OF ANALYTIC FUNCTIONS WITH APPLICATIONS TO FRACTIONAL CALCULUS OPERATORS
بواسطة: Qearqez, Azmy Sobhee منشور: (2011)
