您的位置： 专家智库 > >

喻良

作品数：3 被引量：0H指数：0
供职机构：南京大学更多>>
相关领域：理学哲学宗教更多>>

合作作者

领域

  • 4个自动化与计算...
  • 4个理学
  • 3个电子电信
  • 2个文化科学
  • 1个经济管理
  • 1个哲学宗教
  • 1个化学工程
  • 1个机械工程
  • 1个历史地理
  • 1个自然科学总论

主题

  • 4个多项式
  • 4个多项式时间
  • 4个英文
  • 4个图灵
  • 4个缺省逻辑
  • 4个逻辑
  • 4个可计算性
  • 4个可计算性理论
  • 4个计算机
  • 4个计算机科学
  • 3个定理
  • 3个动点
  • 3个优先序
  • 3个数理逻辑
  • 3个算子
  • 3个缺省理论
  • 3个极小不可满足...
  • 3个非单调推理
  • 2个语义
  • 2个缺省推理

机构

  • 4个南京大学
  • 2个汕头大学
  • 2个中山大学
  • 1个贵州大学
  • 1个北京大学
  • 1个河南科技大学
  • 1个清华大学
  • 1个扬州大学
  • 1个浙江师范大学

资助

  • 4个国家自然科学...
  • 3个国家高技术研...
  • 2个国家社会科学...
  • 2个国家重点基础...
  • 2个江苏省自然科...
  • 2个国家教育部博...
  • 1个广东省科技攻...
  • 1个广东省自然科...
  • 1个贵州省科技攻...
  • 1个贵州省科学技...
  • 1个教育部留学回...
  • 1个宁夏回族自治...
  • 1个中国博士后科...
  • 1个贵州省省长专...
  • 1个贵州省自然科...
  • 1个贵州省科技厅...
  • 1个贵州省教育厅...
  • 1个国家杰出青年...
  • 1个德国研究基金
  • 1个广东省高校优...

传媒

  • 4个软件学报
  • 3个科学通报
  • 3个中国科学（A...
  • 3个南京大学学报...
  • 3个计算机科学
  • 2个计算机研究与...
  • 2个模式识别与人...
  • 2个计算机学报
  • 2个华中科技大学...
  • 2个计算机工程与...
  • 2个湖南师范大学...
  • 2个中山大学学报...
  • 2个计算机应用研...
  • 2个计算机工程与...
  • 2个数学年刊（A...
  • 2个吉林大学学报...
  • 2个计算机科学与...
  • 2个逻辑学研究
  • 2个2004年全...
  • 1个量子电子学报

地区

  • 1个江苏省
  • 1个浙江省
  • 1个广东省
  • 1个贵州省
共 4 条 记 录，以下是 1-4
苏开乐
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
发表作品相关人物供职机构所获资助研究领域
赵希顺
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：英文 逻辑 表示式 LAR GU
发表作品相关人物供职机构所获资助研究领域
丁德成
供职机构：南京大学数学系
研究主题：开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
发表作品相关人物供职机构所获资助研究领域
许道云
供职机构：贵州大学计算机科学与技术学院
研究主题：SAT问题 极小不可满足公式 正则 英文 收敛性
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0