-
1.
نویسنده : حجتی، سید محمد ؛ مزگی نژاد، مرتضی ؛
مجله:شناخت»بهار 1385 - شماره 49 رتبه علمی-پژوهشی (وزارت علوم/ISC (22 صفحه - از 161 تا 182 )
کلیدواژه ها:منطق محمولاتماشین تورینگتوقفالگوریتمیتصمیمناپذیریماشیناثبات
نویسنده : حجتی، سید محمد ؛ مزگی نژاد، مرتضی ؛
مجله:شناخت»بهار 1385 - شماره 49 رتبه علمی-پژوهشی (وزارت علوم/ISC (22 صفحه - از 161 تا 182 )
کلیدواژه ها:منطق محمولاتماشین تورینگتوقفالگوریتمیتصمیمناپذیریماشیناثبات