پيادهسازي استنتاج زبان طبيعي مبتني بر معناشناسي نظريهي نوين انواع در ابزار Coq
/ دنيز طهمورثي
پيادهسازي استنتاج زبان طبيعي مبتني بر معناشناسي نظريهي نوين انواع در ابزار Coq
المؤلف
/ دنيز طهمورثيطبع 1
قائمة
شناسنامه
المدخل الرئيسي
طهمورثي، دنيز، نویسندهالعنوان واسم المؤلف
پيادهسازي استنتاج زبان طبيعي مبتني بر معناشناسي نظريهي نوين انواع در ابزار Coq / / دنيز طهمورثيالمواصفات الشكلية
دهم، 122 ص.؛ : مصور، جدول، نمودار (رساله).الموضوع
پردازش زبان طبيعيمعناشناسي
استنتاج
هوش مصنوعي
نظريه نوعها
اثباتيار کک
مدلسازي (رياضيات)
منطق مرتبه اول
اللغة
فارسی