کلیدواژه categorical logic / (2 مقاله)
- مرتب سازی
- تاریخ
-
1.
نویسنده مسئول : آمیخته، عامر ؛ نویسنده : میرصانعی، سید احمد ؛
مجله:منطق پژوهی»بهار و تابستان 1400، سال دوازدهم - شماره 1 رتبه ب (وزارت علوم/ISC (22 صفحه - از 3 تا 24 )
کلیدواژه ها:روش اصل موضوعیمنطق غیرکلاسیکمنطق حملیقیاس ارسطوییمنطق زیرساختاریمنطقمنطـقSLاستانداردقواعدسیستمنقضبـه
-
2.
نویسنده مسئول : فهیمی، میترا ؛ نویسنده : مهرگان، محمدرضا ؛ ابویی اردکان، محمد ؛
مجله:پژوهش های نوین در تصمیم گیری»بهار 1397 - شماره 9 رتبه ب (وزارت علوم/ISC (23 صفحه - از 243 تا 265 )
کلیدواژه ها:معماریسازی سیستمپارادایمهای تحقیق در عملیاتسلسلهمراتب مفهومیمنطق حملیمعماری/معماریسازی سیستممعماریتحقیق در عملیاتهـاسیستمپارادایمتحقیق در عملیات سختتحقیق در عملیات نرم
مجله (تعداد مقاله) |
---|
نشریه پژوهش های نوین در تصمیم گیری 1 |
نشریه منطق پژوهی 1 |
کلیدواژه های مرتبط
روند انتشار مقاله
رتبه علمی
- ب (2 مقاله)