徐小萍
作品数: 8被引量:6H指数:2
  • 所属机构:襄樊学院
  • 所在地区:湖北省 襄阳市
  • 研究方向:自动化与计算机技术
  • 发文基金:湖北省教育厅重点项目

相关作者

丁德成
作品数:25被引量:17H指数:2
供职机构:南京大学数学系
研究主题:开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性