THE SYNTHESIS TABLEAU: A DEDUCTIVE FRAMEWORK FOR PROGRAM SYNTHESIS BASED ON SEQUENT CALCULUS
| المؤلف الرئيسي: | Maghrabi, Talal Hamza |
|---|---|
| مؤلفين آخرين: | Golshani, F. (Super.) |
| التاريخ الميلادي: |
1992
|
| موقع: | تمب |
| الصفحات: | 1 - 189 |
| رقم MD: | 620320 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | العربية |
| الدرجة العلمية | رسالة دكتوراه |
| الجامعة | Arizona State University |
| الكلية | The Graduate School |
| الدولة | الولايات المتحدة الأمريكية |
| المصدر: | قاعدة المنظومة للرسائل الجامعية |
| الحالة | تمت المناقشة |
| قواعد المعلومات: | Thesis |
| رابط المحتوى: |
| الوصف المادي: |
1 - 189 |
|---|
عناصر مشابهة
-
Stochastic Calculus
بواسطة: Al Harthi, Muteb منشور: (2012) -
A STUDY OF SUBCLASSES OF ANALYTIC FUNCTIONS WITH APPLICATIONS TO FRACTIONAL CALCULUS OPERATORS
بواسطة: Qearqez, Azmy Sobhee منشور: (2011) -
It^o Calculus and Stochastic Dierential Equations
بواسطة: Al Harbi, Rabab منشور: (2012) -
wavelet and calculus and connection coefficients
بواسطة: Ali, Neveen Abd Alfatah منشور: (2007) -
Fractional Calculus and Fractional Diserential Equations
بواسطة: Al Howaity, Awatif منشور: (2011)