您的位置： 专家智库 > >

朱可宜

作品数：1 被引量：0H指数：0
供职机构：暨南大学信息科学技术学院计算机科学系更多>>
发文基金：国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 1个电子电信
  • 1个自动化与计算...
  • 1个文化科学
  • 1个语言文字
  • 1个理学

主题

  • 1个定理证明
  • 1个定理证明器
  • 1个动态内存
  • 1个形式化
  • 1个形式化方法
  • 1个形式化验证
  • 1个形式化验证方...
  • 1个学术
  • 1个学术管理
  • 1个学术管理体制
  • 1个依存
  • 1个音素
  • 1个英文
  • 1个语法
  • 1个语法信息
  • 1个语义
  • 1个语义基础
  • 1个语义模型
  • 1个语音
  • 1个语音特征

机构

  • 1个暨南大学
  • 1个中山大学

资助

  • 1个广东省自然科...
  • 1个国家重点基础...
  • 1个国家自然科学...
  • 1个教育部留学回...
  • 1个广州市科技计...
  • 1个国家大学生创...
  • 1个广东省教育厅...
  • 1个德国研究基金
  • 1个广东省教育部...
  • 1个广东省科技计...
  • 1个教育部“新世...
  • 1个中央高校基本...

传媒

  • 1个计算机研究与...
  • 1个电子学报
  • 1个计算机学报
  • 1个中山大学学报...
  • 1个小型微型计算...
  • 1个软件学报
  • 1个计算机工程与...
  • 1个中国科学（E...
  • 1个计算机科学
  • 1个计算机科学与...
  • 1个2004年全...
  • 1个2011 I...

地区

  • 1个广东省
共 1 条 记 录，以下是 1-1
陈清亮
供职机构：暨南大学
研究主题：SPV 最短路径 认知逻辑 安全协议 语义模型
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0