-
叶世伟
-
-
- 所属机构:中国科学院计算技术研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 马琳
- 作品数：13被引量：70H指数：4
- 供职机构：中国科学院研究生院
- 研究主题：HOPFIELD网络 WEB WEB应用 HTTP MPEG-2
- 施智平
- 作品数：185被引量：621H指数：11
- 供职机构：首都师范大学
- 研究主题：形式化验证 定理证明 形式化 图像检索 定理证明器
- 史忠植
- 作品数：432被引量：6,829H指数：41
- 供职机构：中国科学院计算技术研究所
- 研究主题：人工智能 数据挖掘 动态描述逻辑 多主体系统 专家系统
- 罗铁坚
- 作品数：55被引量：152H指数：7
- 供职机构：中国科学院大学
- 研究主题：WEB 信息安全 网络安全 英文 ORACLE
- 关永
- 作品数：344被引量：1,167H指数：16
- 供职机构：首都师范大学
- 研究主题：形式化验证 定理证明 嵌入式系统 形式化 机器人
