您的位置： 专家智库 > >

严小区

作品数：1 被引量：0H指数：0
供职机构：广西师范大学数学科学学院数学系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇时态逻辑
  • 1篇时态推理
  • 1篇人工智能

机构

  • 1篇广西师范大学

作者

  • 1篇严小区
  • 1篇聂文龙

传媒

  • 1篇软件学报

年份

  • 1篇1997
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种新的基于间断区间的时态形式系统
1997年
本文给出了一种新的形式系统ＧＴＬ，并证明了ＧＴＬ的完备性。
聂文龙严小区
关键词：时态逻辑时态推理人工智能
全选 清除 导出
共1页<1>
聚类工具0