王以松
作品数： 42被引量：48H指数：4
  • 所属机构:贵州大学
  • 所在地区:贵州省 贵阳市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

梅俊杰
作品数：4被引量：1H指数：1
供职机构：贵州大学计算机科学与技术学院
研究主题：随机图 DIJKSTRA算法 CNF 函数 逻辑
刘蕻
作品数：4被引量：1H指数：1
供职机构：贵州大学计算机科学与技术学院
研究主题：随机图 DIJKSTRA算法 CNF 函数 逻辑
杨卓群
作品数：6被引量：9H指数：2
供职机构：中国科学院数学与系统科学研究院数学研究所
研究主题：描述逻辑 逻辑程序 自适应 不确定性 模糊逻辑
许欢
作品数：3被引量：5H指数：2
供职机构：贵州大学计算机科学与信息学院
研究主题：循环不变式 形式化 逻辑程序 英文 随机图
魏昆鹏
作品数：4被引量：5H指数：2
供职机构：贵州大学计算机科学与信息学院
研究主题：逻辑程序 函数 多项式时间算法 多项式 人工智能
作品列表