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