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 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.