您的位置： 专家智库 > >

曹发生

作品数：33 被引量：42H指数：4
供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
发文基金：贵州省教育厅自然科学研究项目国家自然科学基金贵州省科学技术基金更多>>
相关领域：理学自动化与计算机技术哲学宗教更多>>

合作作者

领域

  • 16个自动化与计算...
  • 16个理学
  • 7个哲学宗教
  • 6个文化科学
  • 2个语言文字
  • 1个经济管理
  • 1个冶金工程
  • 1个机械工程
  • 1个电子电信
  • 1个医药卫生
  • 1个自然科学总论

主题

  • 11个描述逻辑
  • 8个代数
  • 8个逻辑系统
  • 7个有限自动机
  • 7个同余
  • 6个语义
  • 6个数学
  • 6个格值
  • 5个等价
  • 5个形式概念分析
  • 5个有穷
  • 5个知识
  • 4个代数性质
  • 4个循环术语集
  • 4个知识发现
  • 3个代数结构
  • 3个定理
  • 3个信息检索
  • 3个映射
  • 3个正规性

机构

  • 12个广西师范大学
  • 5个毕节学院
  • 3个黔南民族师范...
  • 3个中山大学
  • 2个北京大学
  • 2个桂林电子科技...
  • 2个中国科学院软...
  • 1个贵阳学院
  • 1个贵州民族大学
  • 1个南京大学
  • 1个华南师范大学
  • 1个江苏技术师范...
  • 1个西南交通大学
  • 1个青岛理工大学
  • 1个教育部
  • 1个中国科学院
  • 1个首都师范大学

资助

  • 15个贵州省教育厅...
  • 11个贵州省科学技...
  • 11个国家自然科学...
  • 9个广西壮族自治...
  • 8个广西研究生教...
  • 7个广西研究生教...
  • 6个中国科学院计...
  • 5个贵州省自然科...
  • 4个广东省自然科...
  • 4个广西教育厅科...
  • 4个广西青年科学...
  • 3个国家重点基础...
  • 3个中国博士后科...
  • 3个广西省自然科...
  • 3个贵州省科技厅...
  • 3个贵州省重点支...
  • 2个国家高技术研...
  • 2个广西壮族自治...
  • 2个广州市科技计...
  • 2个广西教育科学...

传媒

  • 10个毕节学院学报...
  • 8个计算机工程与...
  • 6个计算机研究与...
  • 4个模糊系统与数...
  • 4个计算机学报
  • 4个计算机工程
  • 4个广西师范大学...
  • 4个软件学报
  • 4个黔南民族师范...
  • 4个计算机科学
  • 3个数学学报（中...
  • 3个数学的实践与...
  • 3个计算机工程与...
  • 3个计算机应用与...
  • 3个智能系统学报
  • 3个计算机技术与...
  • 3个计算机科学与...
  • 2个科技通报
  • 2个数学进展
  • 2个模式识别与人...

地区

  • 6个广西
  • 5个贵州省
  • 2个北京市
  • 1个山东省
  • 1个广东省
共 16 条 记 录，以下是 1-10
余泉
供职机构：桂林电子科技大学
研究主题：描述逻辑 中医 保守 LN 逻辑系统
发表作品相关人物供职机构所获资助研究领域
张维
供职机构：黔南民族师范学院
研究主题：描述逻辑 逻辑系统 LN 同态 互模拟
发表作品相关人物供职机构所获资助研究领域
王驹
供职机构：广西师范大学计算机科学与信息工程学院
研究主题：描述逻辑 逻辑系统 循环术语集 语义 不动点语义
发表作品相关人物供职机构所获资助研究领域
蒋运承
供职机构：华南师范大学
研究主题：描述逻辑 语义WEB 多主体系统 语义 本体
发表作品相关人物供职机构所获资助研究领域
杨楠
供职机构：广西师范大学
研究主题：矩阵模型 有限自动机 矩阵 函数优化 地方本科高校
发表作品相关人物供职机构所获资助研究领域
张家锋
供职机构：贵州民族大学理学院
研究主题：格值逻辑 格蕴涵代数 格值命题逻辑 X 粗糙集
发表作品相关人物供职机构所获资助研究领域
黄飞丹
供职机构：毕节学院
研究主题：有限自动机 路代数 同态 直积 等价性
发表作品相关人物供职机构所获资助研究领域
聂登国
供职机构：毕节学院
研究主题：描述逻辑 本体 保守 VL 本体概念
发表作品相关人物供职机构所获资助研究领域
赵小香
供职机构：广西师范大学数学科学学院
研究主题：形式概念分析 描述逻辑 超几何级数 雅可比多项式 递推关系
发表作品相关人物供职机构所获资助研究领域
汪天友
供职机构：贵阳学院数学与信息科学学院
研究主题：炉内 数值模拟 蓄热燃烧 加热炉 程序实现
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0