keyword حساب محدود / (1 Article)
- Sort by
- Date
-
1.
Writer : علم، ابوالفضل ؛ Corresponding Author : منیری، مرتضی ؛
Journal:منطق پژوهی»پاییز و زمستان 1400، سال دوازدهم - شماره 2 Ranking ب (Ministry of Science/ISC (17 page(s) - From 195 to 211 )
Keywords:حساب محدودفرمول محدودمدل کامل محدودمدل همراه محدودحذف سور محدودBounded ArithmeticBounded formulaBounded model completeBounded model companionBounded quantifier eliminationمدلمحـدودنظریة مدلنظریهPVفرمولNP