您的位置： 专家智库 > >

赵希顺

作品数：25 被引量：16H指数：2
供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
发文基金：国家自然科学基金国家社会科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术理学哲学宗教电子电信更多>>

合作作者

领域

  • 10个自动化与计算...
  • 9个理学
  • 5个哲学宗教
  • 3个经济管理
  • 3个电子电信
  • 3个文化科学
  • 2个社会学
  • 1个化学工程
  • 1个机械工程
  • 1个自然科学总论

主题

  • 8个英文
  • 6个逻辑
  • 6个可满足性
  • 5个可计算性
  • 4个定理
  • 4个数学
  • 3个动点
  • 3个多项式
  • 3个多项式时间
  • 3个形式化
  • 3个语义
  • 2个大学数学
  • 2个等价
  • 2个递归
  • 2个递归论
  • 2个电子商务
  • 2个调度
  • 2个断言
  • 2个信息素
  • 2个一阶逻辑

机构

  • 8个中山大学
  • 5个南京大学
  • 2个北京大学
  • 2个汕头大学
  • 2个仲恺农业工程...
  • 1个贵州大学
  • 1个广西师范大学
  • 1个桂林电子科技...
  • 1个河南科技大学
  • 1个清华大学
  • 1个教育部
  • 1个扬州大学
  • 1个浙江师范大学
  • 1个中国科学院软...

资助

  • 12个国家自然科学...
  • 3个国家高技术研...
  • 3个国家社会科学...
  • 3个国家重点基础...
  • 2个广东省自然科...
  • 2个贵州省科学技...
  • 2个江苏省自然科...
  • 2个中国博士后科...
  • 2个贵州省自然科...
  • 2个贵州省教育厅...
  • 2个广西青年科学...
  • 2个广西省自然科...
  • 2个贵州省省长基...
  • 2个国家教育部博...
  • 2个教育部“新世...
  • 1个广东省科技攻...
  • 1个贵州省科技攻...
  • 1个教育部留学回...
  • 1个宁夏回族自治...
  • 1个广西壮族自治...

传媒

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

地区

  • 7个广东省
  • 2个江苏省
  • 1个浙江省
  • 1个广西
  • 1个贵州省
共 13 条 记 录，以下是 1-10
丁德成
供职机构：南京大学数学系
研究主题：开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
发表作品相关人物供职机构所获资助研究领域
沈榆平
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：英文 回答集编程 逻辑程序 相变 大学逻辑
发表作品相关人物供职机构所获资助研究领域
邱玉文
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：表示式 LAR GU 算子 可计算性
发表作品相关人物供职机构所获资助研究领域
孙永新
供职机构：仲恺农业工程学院信息科学与技术学院
研究主题：描述逻辑 叶形 基于多尺度 曲率尺度空间 语义WEB服务
发表作品相关人物供职机构所获资助研究领域
金继伟
供职机构：中山大学
研究主题：消解 可满足性 英文
发表作品相关人物供职机构所获资助研究领域
张燕
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：谨慎 动作语言 语义
发表作品相关人物供职机构所获资助研究领域
许道云
供职机构：贵州大学计算机科学与技术学院
研究主题：SAT问题 极小不可满足公式 正则 英文 收敛性
发表作品相关人物供职机构所获资助研究领域
苏开乐
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
发表作品相关人物供职机构所获资助研究领域
冯世光
供职机构：中山大学
研究主题：SO 逻辑 英文 HORN逻辑 GROVER算法
发表作品相关人物供职机构所获资助研究领域
喻良
供职机构：南京大学
研究主题：可计算性理论 存在性 不可数 LR 归约
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0