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