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
مواضيع:	البرامج الإلكترونية \| تصميم البرامج \| العمليات الحسابية \| التفاضل و التكامل
رابط المحتوى:	صفحة العنوان المستخلص قائمة المحتويات 24 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.

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