您的位置： 专家智库 > >

张瑞楠

作品数：3 被引量：23H指数：1
供职机构：辽宁师范大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 3个自动化与计算...
  • 2个理学
  • 1个经济管理
  • 1个哲学宗教
  • 1个文化科学

主题

  • 2个动态几何软件
  • 2个XML语言
  • 2个GCL
  • 1个代数
  • 1个代数推理
  • 1个代数证明
  • 1个等词
  • 1个等价
  • 1个等价性验证
  • 1个等式
  • 1个等效
  • 1个电路
  • 1个电路验证
  • 1个定理
  • 1个定理机器证明
  • 1个定理证明
  • 1个定理证明器
  • 1个动态数组
  • 1个断言
  • 1个队列

机构

  • 3个辽宁师范大学
  • 1个中国科学院成...
  • 1个中国科学院研...

资助

  • 1个国家重点基础...

传媒

  • 3个科技视界
  • 2个计算机应用
  • 1个模式识别与人...
  • 1个计算机学报
  • 1个四川大学学报...
  • 1个科技信息
  • 1个应用数学进展
  • 1个计算机科学与...
  • 1个软件工程与应...

地区

  • 3个辽宁省
共 3 条 记 录，以下是 1-3
温少营
供职机构：辽宁师范大学数学学院
研究主题：GDI+ NET框架 双缓冲技术 双缓冲 标识码
发表作品相关人物供职机构所获资助研究领域
刘凯
供职机构：辽宁师范大学
研究主题：FL 可判定性 描述逻辑 承载力 GCL
发表作品相关人物供职机构所获资助研究领域
江建国
供职机构：辽宁师范大学数学学院
研究主题：乘法器 动态几何软件 LEFT STYLE MA
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0