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