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