位置：立项数据库 > 立项详情页
基于不确定测度的定量时序逻辑的表示与可判定性研究
  • 项目名称：基于不确定测度的定量时序逻辑的表示与可判定性研究
  • 项目类别：面上项目
  • 批准号：11671244
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：李永明
  • 依托单位：陕西师范大学
  • 批准年度：2016
李永明的项目
把不确定性用半环来描述的计算模型、理论及其应用研究
期刊论文 27
格上拓扑学及其在不确定特征的形式化研究中的应用
期刊论文 99 会议论文 11
　中国历代词选之乐舞论
　中国历代词选之乐舞论
QUANTALE理论及其应用
不确定环境下的计算模型与计算理论研究
期刊论文 101 会议论文 9
　中国历代词选之乐舞论
　中国历代词选之乐舞论