江敏
开通时间:..
最后更新时间:..
点击次数:
发表刊物:Information Sciences
第一作者:晁飞
合写作者:江敏
论文类型:Article
卷号:283
页面范围:288-303
是否译文:否
发表时间:2014-11-01
上一条:B method based framework for correct software development
下一条:Graded BDI models for agent architectures based on Lukasiewicz logic and propositional dynamic logic