MARC: THE SYNTHESIS TABLEAU: A DEDUCTIVE FRAMEWORK FOR PROGRAM SYNTHESIS BASED ON SEQUENT CALCULUS

Main Author:	Maghrabi, Talal Hamza
Other Authors:	Golshani, F. (Super.)
Date:	1992
Place:	تمب
Pages:	1 - 189
MD No.:	620320
Content Type:	رسائل جامعية
Language:	Arabic
Degree Type	رسالة دكتوراه
Granting Institution	Arizona State University
College	The Graduate School
Country	الولايات المتحدة الأمريكية
Source:	قاعدة المنظومة للرسائل الجامعية
Status	تمت المناقشة
Database(s):	Thesis
Online Access:	المستخلص من قاعدة المنظومة للرسائل الجامعية

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