Showing 1 to 10 of 2 items
-
1.
Writer : حجتی، سید محمد ؛ مزگی نژاد، مرتضی ؛
Journal:شناخت»بهار 1385 - شماره 49 Ranking Science-Research (Ministry of Science/ISC (22 page(s) - From 161 to 182 )
Keywords:منطق محمولاتماشین تورینگتوقفالگوریتمیتصمیمناپذیریماشیناثبات
-
2.
Writer : مزگی نژاد، مرتضی ؛ نبوی، لطفالله نبوی ؛ حجتی، سید محمد علی ؛
Journal:منطق پژوهی»بهار و تابستان 1394، سال ششم - شماره 1 Ranking Science-Research (Ministry of Science/ISC (25 page(s) - From 117 to 141 )
Keywords:ثوابت منطقیاستنتاجگراییتئوری برهانقواعد عملگریقواعد ساختاریقواعدسیستمگنتزنتاج