《智能系统学报》
过刊查询页面
作者中包括
SUI Yue-fei
的文章
1
一种扩展的动态描述逻辑语言及其 Tableau 算法
郝国舜
1
,马世龙
1
，眭跃飞
2
2009年3期 [226－233][
摘要
](
4913
)
[
pdf
462KB]
(
2663
)
DOI:
2
优先归纳逻辑程序的极限行为
马世龙
1，2
，眭跃飞
2
，许 可
1
2007年4期 [9－13][
摘要
](
5076
)
[
pdf
273KB]
(
3102
)
DOI: