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 |
| رابط المحتوى: |
| LEADER | 01000nam a22002177a 4500 | ||
|---|---|---|---|
| 001 | 0032069 | ||
| 040 | |a قاعدة المنظومة للرسائل الجامعية | ||
| 041 | |a ara | ||
| 100 | |9 38697 |a Maghrabi, Talal Hamza |e Auth. | ||
| 245 | |a THE SYNTHESIS TABLEAU: A DEDUCTIVE FRAMEWORK FOR PROGRAM SYNTHESIS BASED ON SEQUENT CALCULUS | ||
| 260 | |a تمب |c 1992 | ||
| 300 | |a 1 - 189 | ||
| 336 | |a رسائل جامعية | ||
| 502 | |b رسالة دكتوراه |c Arizona State University |f The Graduate School |g الولايات المتحدة الأمريكية |o 0024 | ||
| 653 | |a البرامج الإلكترونية |a تصميم البرامج |a العمليات الحسابية |a التفاضل و التكامل | ||
| 700 | |9 31601 |a Golshani, F. |e Super. | ||
| 856 | |u http://search.mandumah.com/Record/620320 |y المستخلص من قاعدة المنظومة للرسائل الجامعية | ||
| 940 | |a تمت المناقشة | ||
| 950 | |c 620320 | ||
| 995 | |a Thesis | ||
| 999 | |c 199984 |d 199984 | ||
عناصر مشابهة
-
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)