کلمة المفتاح Bounded quantifier elimination / (1 مقالة)
- الترتيب
- تأريخ
-
1.
مؤلف : علم، ابوالفضل ؛ كاتب مسؤول : منیری، مرتضی ؛
مجلة:منطق پژوهی»پاییز و زمستان 1400، سال دوازدهم - شماره 2 التصنيف ب (Ministry of Science/ISC (17 صفحة - من 195 إلی 211 )
الکلمات المفتاحية:حساب محدودفرمول محدودمدل کامل محدودمدل همراه محدودحذف سور محدودمدلمحـدودنظریة مدلنظریهPVفرمولNP