《智能系统学报》
过刊查询页面
作者中包括
舜
的文章
1
一种扩展的动态描述逻辑语言及其 Tableau 算法
郝国舜
1
,马世龙
1
，眭跃飞
2
2009年3期 [226－233][
摘要
](
4911
)
[
pdf
462KB]
(
2661
)
DOI: