喻良
作品数： 3被引量：0H指数：0
  • 所属机构:南京大学
  • 所在地区:江苏省 南京市
  • 研究方向:理学

相关作者

苏开乐
作品数：48被引量：153H指数：8
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
赵希顺
作品数：25被引量：16H指数：2
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：英文 逻辑 表示式 LAR GU
丁德成
作品数：25被引量：17H指数：2
供职机构：南京大学数学系
研究主题：开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
许道云
作品数：164被引量：323H指数：9
供职机构：贵州大学计算机科学与技术学院
研究主题：SAT问题 极小不可满足公式 正则 英文 收敛性
作品列表