• 1.

  تصمیم ناپذیری منطق محمولات مرتبه اول و مسایل کلمه ای

  Writer : حجتی، سید محمد ؛ مزگی نژاد، مرتضی ؛

  Journal:شناخت»بهار 1385 - شماره 49 Ranking Science-Research (Ministry of Science/ISC (‎22 page(s) - From 161 to 182 )

  Keywords:منطق محمولاتماشین تورینگتوقفالگوریتمیتصمیم‌ناپذیریماشیناثبات

  Journal Article Download Abstract Related articles Others recommend to see

Related keywords