您的位置： 专家智库 > >

马丽

作品数：1 被引量：0H指数：0
供职机构：南昌大学计算机与信息学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇时态逻辑
  • 1篇算子
  • 1篇模态逻辑
  • 1篇ROUGH集
  • 1篇ROUGH逻...
  • 1篇H

机构

  • 1篇南昌大学

作者

  • 1篇马丽
  • 1篇刘清
  • 1篇邓大勇

传媒

  • 1篇南昌水专学报

年份

  • 1篇2003
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
带时态算子和H、L算子的Rough逻辑
2003年
将线性时态逻辑和带H、L算子的Rough逻辑结合起来,提出了带时态算子和H、L算子的Rough逻辑模型,从而使逻辑由一维变成了二维.
邓大勇马丽刘清
关键词：ROUGH集时态逻辑模态逻辑
全选 清除 导出
共1页<1>
聚类工具0