پياده‌سازي استنتاج زبان طبيعي مبتني بر معناشناسي نظريه‌ي نوين انواع در ابزار Coq

Author

Edition 1

list

شناسنامه

Main Entry

طهمورثي، دنيز، نویسنده

Title and Author

پياده‌سازي استنتاج زبان طبيعي مبتني بر معناشناسي نظريه‌ي نوين انواع در ابزار Coq / / دنيز طهمورثي

Physical Description

‮دهم، 122 ص.؛ : مصور، جدول، نمودار (رساله).

Subject

پردازش زبان طبيعي
معناشناسي
استنتاج
هوش مصنوعي
نظريه نوع‌ها
اثبات‌يار کک
مدل‌سازي (رياضيات)
منطق مرتبه اول

Language

فارسی