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