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