《智能系统学报》
过刊查询页面
关键词中包括
automated reasoning
的文章
1
扩展规则方法研究综述
王金艳
1
, 谷文祥
2,3
, 覃少华
1
, 殷明浩
3
2014年1期 [1-11][
摘要
](
2775
)
[
pdf
2149KB]
(
2673
)
DOI:
10.3969/j.issn.1673-4785.201308004