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 |
| مواضيع: | |
| رابط المحتوى: |
الناشر لهذه المادة لم يسمح بإتاحتها. |
| LEADER | 01518nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 0032069 | ||
| 041 | |a eng | ||
| 100 | |9 38697 |a Maghrabi, Talal Hamza |e Author | ||
| 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 Advisor | ||
| 856 | |u 9824-121-002-0024-T.pdf |y صفحة العنوان | ||
| 856 | |u 9824-121-002-0024-A.pdf |y المستخلص | ||
| 856 | |u 9824-121-002-0024-C.pdf |y قائمة المحتويات | ||
| 856 | |u 9824-121-002-0024-F.pdf |y 24 صفحة الأولى | ||
| 856 | |u 9824-121-002-0024-1.pdf |y 1 الفصل | ||
| 856 | |u 9824-121-002-0024-2.pdf |y 2 الفصل | ||
| 856 | |u 9824-121-002-0024-3.pdf |y 3 الفصل | ||
| 856 | |u 9824-121-002-0024-4.pdf |y 4 الفصل | ||
| 856 | |u 9824-121-002-0024-5.pdf |y 5 الفصل | ||
| 856 | |u 9824-121-002-0024-6.pdf |y 6 الفصل | ||
| 856 | |u 9824-121-002-0024-7.pdf |y 7 الفصل | ||
| 856 | |u 9824-121-002-0024-R.pdf |y المصادر والمراجع | ||
| 856 | |u 9824-121-002-0024-S.pdf |y الملاحق | ||
| 930 | |d n | ||
| 995 | |a +Dissertations | ||
| 999 | |c 620320 |d 620320 | ||
عناصر مشابهة
-
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)
