《智能系统学报》
过刊查询页面
关键词中包括
formalization
的文章
1
大模型关联度预测的形式化和语义解释研究
陈小平 2023年4期 [894－900][
摘要
](
2802
)
[
pdf
2097KB]
(
1572
)
DOI:
10.11992/tis.202306045
2
数学进化中的知识发现方法
陈文伟
1,2
，黄金才
2
，陈晟
3
2011年5期 [391－395][
摘要
](
3339
)
[
pdf
541KB]
(
2440
)
DOI: