蒋颖
作品数: 3被引量:2H指数:1
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

赵希顺
作品数:9被引量:1H指数:1
供职机构:河南师范大学数学与信息科学学院
研究主题:稳定集 O 易项 计算机 大基数
张文辉
作品数:19被引量:231H指数:4
供职机构:中国科学院软件研究所
研究主题:英文 计算机网络资源 字符串 资源定位 中文域名
高建华
作品数:2被引量:1H指数:1
供职机构:中国科学院软件研究所
研究主题:KRIPKE结构 函子 互模拟 余代数 显微结构
王驹
作品数:77被引量:250H指数:12
供职机构:广西师范大学计算机科学与信息工程学院
研究主题:描述逻辑 逻辑系统 循环术语集 语义 不动点语义
苏柏
作品数:2被引量:0H指数:0
供职机构:中国科学院软件研究所
研究主题:概念漂移 可判定性 数据域 数据挖掘 数据流