您的位置： 专家智库 > >

曹发生

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

合作作者

领域

  • 22个自动化与计算...
  • 18个理学
  • 10个哲学宗教
  • 10个文化科学
  • 9个医药卫生
  • 8个经济管理
  • 8个生物学
  • 8个天文地球
  • 8个化学工程
  • 8个矿业工程
  • 8个冶金工程
  • 8个电子电信
  • 8个水利工程
  • 8个轻工技术与工...
  • 8个交通运输工程
  • 8个航空宇航科学...
  • 8个环境科学与工...
  • 8个农业科学
  • 8个一般工业技术
  • 8个社会学

主题

  • 21个描述逻辑
  • 15个语义
  • 15个自动机
  • 15个逻辑系统
  • 13个本体
  • 12个代数
  • 12个有限自动机
  • 12个FL
  • 11个循环术语集
  • 11个同态
  • 11个完备格
  • 10个知识
  • 10个可满足性
  • 9个同余
  • 9个LN
  • 9个VL
  • 8个大学生
  • 8个有穷
  • 7个代数性质
  • 6个带宽

机构

  • 22个广西师范大学
  • 22个毕节学院
  • 21个黔南民族师范...
  • 15个中山大学
  • 12个华南师范大学
  • 12个中国科学院软...
  • 11个桂林电子科技...
  • 10个中南大学
  • 8个复旦大学
  • 8个贵阳学院
  • 8个北京大学
  • 7个广西科技大学
  • 7个贵州师范大学
  • 6个成都理工大学
  • 6个广西农业科学...
  • 6个广西医科大学...
  • 5个北方民族大学
  • 5个北京中医药大...
  • 4个安徽工业大学
  • 4个北京应用物理...

作者

  • 22个曹发生
  • 20个王驹
  • 18个蒋运承
  • 16个余泉
  • 15个邓培民
  • 14个张维
  • 10个周生明
  • 10个刘真环
  • 10个侯金宏
  • 9个汤庸
  • 9个唐素勤
  • 7个甘晓丽
  • 7个申宇铭
  • 7个施雅贤
  • 5个何龙飞
  • 5个吴继周
  • 4个云翔
  • 4个余红平
  • 4个刘庆华
  • 4个周丽娟

传媒

  • 18个计算机研究与...
  • 13个计算机工程与...
  • 13个广西师范大学...
  • 12个计算机学报
  • 12个计算机工程与...
  • 11个计算机工程
  • 11个黔南民族师范...
  • 11个计算机科学
  • 11个毕节学院学报...
  • 10个模式识别与人...
  • 10个数学的实践与...
  • 8个化工新型材料
  • 7个分析化学
  • 7个工业安全与环...
  • 7个生态学报
  • 7个教育与职业
  • 6个环境工程
  • 6个现代化工
  • 5个人民论坛
  • 5个资源科学
共 22 条 记 录，以下是 1-10
贵州省教育厅自然科学研究项目
相关领域：理学 医药卫生 农业科学 自动化与计算机技术 生物学
相关作品相关人物相关机构相关资助相关领域
贵州省教育厅自然科学研究项目(20090068)
布尔格值自动机及其路代数
相关领域：理学 自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60663001)
相关领域：自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
贵州省科学技术基金
相关领域：医药卫生 农业科学 理学 自动化与计算机技术 生物学
相关作品相关人物相关机构相关资助相关领域
贵州省科学技术基金(J[2009]2068)
描述逻辑系统的非标准推理的研究
相关领域：自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
贵州省教育厅自然科学研究项目(20090047)
含循环术语集描述逻辑系统推理机制
相关领域：自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
贵州省教育厅自然科学研究项目(2008090)
模态描述逻辑的代数结构
相关领域：自动化与计算机技术 理学 哲学宗教
相关作品相关人物相关机构相关资助相关领域
广西研究生教育创新计划项目
相关领域：文化科学 医药卫生 经济管理 自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
中国科学院计算机科学国家重点实验室开放课题基金(SYSKF0904)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共3页<123>
聚类工具0