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