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