کلیدواژه continuous logic / (2 مقاله)
- مرتب سازی
- تاریخ
-
1.
نویسنده : خانکی، کریم ؛
مجله:منطق پژوهی»بهار و تابستان 1399، سال یازدهم - شماره 1 رتبه ب (وزارت علوم/ISC (15 صفحه - از 17 تا 31 )
کلیدواژه ها:تعریفپذیریمنطق پیوستهفراضرببطور متناهی ارائهپذیرفضای تایپ
-
2.
نویسنده : خاتمی، سید محمد امین ؛ نویسنده مسئول : پورمهدیان، مسعود ؛
مجله:منطق پژوهی»بهار و تابستان 1398، سال دهم - شماره 1 رتبه ب (وزارت علوم/ISC (32 صفحه - از 89 تا 120 )
کلیدواژه ها:منطق فازیمنطق ریاضیمنطق چندمقداریمنطق پیوسته