您的位置： 专家智库 > >

重庆市文科重点研究基地项目(11SKB16)

作品数：1 被引量：1H指数：1
相关作者：顾恒更多>>
相关机构：西南大学更多>>
发文基金：重庆市文科重点研究基地项目更多>>
相关领域：理学更多>>

领域

  • 1个哲学宗教
  • 1个理学

主题

  • 1个大学逻辑
  • 1个学术
  • 1个言和
  • 1个一阶逻辑
  • 1个语形
  • 1个语言
  • 1个语言学
  • 1个语义
  • 1个正则
  • 1个正则语言
  • 1个完全格
  • 1个逻辑
  • 1个类型论
  • 1个计算机
  • 1个计算机科学
  • 1个广义量词
  • 1个国际学术
  • 1个符号逻辑
  • 1个层级

机构

  • 1个西南大学

资助

  • 1个重庆市文科重...

传媒

  • 1个毕节学院学报...
  • 1个逻辑学研究

地区

  • 1个重庆市
共 1 条 记 录，以下是 1-1
顾恒
供职机构：西南大学
研究主题：一阶逻辑 层级 广义量词 类型论 完全格
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0