-
刘洋
-
-
- 所属机构:清华大学信息科学技术学院计算机科学与技术系
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 刘群
- 作品数：210被引量：1,628H指数：19
- 供职机构：中国科学院计算技术研究所
- 研究主题：机器翻译 统计机器翻译 翻译模型 自然语言处理 源语言
- 闫鑫
- 作品数：5被引量：9H指数：2
- 供职机构：太原理工大学
- 研究主题：翻译 形式化验证 Z 高阶 消去
- 孙茂松
- 作品数：358被引量：2,405H指数：25
- 供职机构：清华大学
- 研究主题：向量 中文信息处理 机器翻译 句子 自然语言处理
- 石刚
- 作品数：18被引量：59H指数：5
- 供职机构：新疆大学信息科学与工程学院
- 研究主题：形式化验证 编译器 COQ 翻译 定理证明
- 杨斐
- 作品数：3被引量：21H指数：2
- 供职机构：清华大学信息科学技术学院计算机科学与技术系
- 研究主题：形式化验证 定理证明 翻译 编译器 形式语义
