赵希顺
作品数: 25被引量:15H指数:2
  • 所属机构:中山大学人文科学学院逻辑与认知研究所
  • 所在地区:广东省 广州市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

丁德成
作品数:25被引量:16H指数:2
供职机构:南京大学数学系
研究主题:开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
沈榆平
作品数:9被引量:2H指数:1
供职机构:中山大学人文科学学院逻辑与认知研究所
研究主题:英文 回答集编程 逻辑程序 相变 大学逻辑
邱玉文
作品数:3被引量:0H指数:0
供职机构:中山大学人文科学学院逻辑与认知研究所
研究主题:表示式 LAR GU 算子 可计算性
孙永新
作品数:10被引量:24H指数:4
供职机构:仲恺农业工程学院信息科学与技术学院
研究主题:描述逻辑 叶形 基于多尺度 曲率尺度空间 教学
金继伟
作品数:3被引量:0H指数:0
供职机构:中山大学
研究主题:消解 可满足性 英文