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