《智能系统学报》 过刊查询页面

    关键词中包括 halting problem 的文章

1 逻辑及数学演算中的不动项与不可判定命题(Ⅱ)
张金成 2014年5期 [618-631][摘要](2490)[pdf 556KB](1908)
2 逻辑及数学演算中的不动项与不可判定命题(Ⅰ)
张金成 2014年4期 [499-510][摘要](2509)[pdf 394KB](1955)