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