您的位置： 专家智库 > >

孙敏

作品数：1 被引量：8H指数：1
供职机构：四川经济管理干部学院更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 1篇时态逻辑
  • 1篇线性时态逻辑
  • 1篇模态逻辑

机构

  • 1篇四川经济管理...
  • 1篇重庆师范学院

作者

  • 1篇张广泉
  • 1篇孙敏

传媒

  • 1篇渝州大学学报

年份

  • 1篇1999
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
时态逻辑的比较与分析被引量：8
1999年
对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析，指出它们各自的特点及适用范围。
张广泉孙敏
关键词：线性时态逻辑时态逻辑模态逻辑
全选 清除 导出
共1页<1>
聚类工具0