The Nax Language Unifying Functional Programming and Logical
00905348600896 [email protected]
تواصل معنا الأسئلة الشائعة
English
الرئيسية / مكتبة المنارة للإستشارات / تكنولوجيا المعلومات
علم الحاسوب

The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types رسالة ماجستير

The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types رسالة ماجستير
تكنولوجيا المعلومات / رسائل الماجستير والدكتوراه (ملفات PDF) 16/9/2020 12:46
نقدم لكم ملف PDF كامل بعنوان The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types رسالة ماجستير وهو ضمن التصنيف الرئيسي تكنولوجيا المعلومات والذي يقع تحت التصنيف الفرعي علم الحاسوب يجدر الذكر أن الملف يقع تحت قسم رسائل الماجستير والدكتوراه (ملفات PDF).

لا يمكن قراءة الملف، أو يتعذر فتح العرض التقديمي



اضغط هنا ليتم تحميل الملف



تحميل الملف




البحث في المكتبة
تصنيفات المكتبة
التجارة (15336) المحاسبة (48178) العلوم النفسية (6751) الاقتصاد والعلوم السياسية (6714) تخصصات الآداب (6511) تخصصات العلوم (2403) الهندسة (24243) الدراسات الإسلامية (6508) تخصصات الإدارة (9472) القانون (4481) الطب والعلوم الصحية (25866) تخصصات متنوعة (4642) التربية (14261) تخصصات الصحافة والإعلام (2024) التمريض (3682) تكنولوجيا المعلومات (35065)