《智能系统学报》
过刊查询页面
关键词中包括
incomplete theorem
的文章
1
逻辑及数学演算中的不动项与不可判定命题(Ⅱ)
张金成 2014年5期 [618-631][
摘要
](
2505
)
[
pdf
556KB]
(
1927
)
DOI:
10.3969/j.issn.1673-4785.201310076
2
逻辑及数学演算中的不动项与不可判定命题(Ⅰ)
张金成 2014年4期 [499-510][
摘要
](
2529
)
[
pdf
394KB]
(
1972
)
DOI:
10.3969/j.issn.1673-4785.201310076