位置:成果数据库 > 期刊 > 期刊详情页
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
  • ISSN号:0168-7433
  • 期刊名称:Journal of Automated Reasoning
  • 时间:2012.6
  • 页码:1-52
  • 相关项目:基于云计算的海量数据挖掘
同期刊论文项目
期刊论文 172 会议论文 96 获奖 10 专利 3 著作 7
同项目期刊论文