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